Search doesn't appear to prove all results

[varkor]

I only see one result when using Search, for any signature.

[Carotti]

This was annoying me as well, so I found a fix..

Change

    case 'notice':
      this.project.noticeOut.clear();
      this.project.noticeOut.show(true);
      this.project.noticeOut.append(psm.prettyTextToString(params.message));
      return;

To

    case 'notice':
      this.project.noticeOut.show(true);
      this.project.noticeOut.append(psm.prettyTextToString(params.message));
      this.project.noticeOut.append("\n");
      return;

In CoqDocument.ts

I'd submit a PR but I'm not sure if this is being actively maintained anymore.