To close a linting session, use the "Verissimo: Lint Project..." command and select Close Session.

To launch a new linting session with the previously used configuration, use the "Verissimo: Lint Project..." command and select the Last Configuration option.