Description Andre Steinert 2005-07-23 18:46:48 EDT

If search term is found on several files, by double-clicking on one file the
editor will open the selected file and vertical markers are shown on the right
side of the vertical scroll bar where the search term is found.

Bug:
By double-clicking on another file without closing the editor of the first file,
the new selected file will be shown in the same editor but _without_ the
vertical markers. The problem persists until the editor is closed and
double-clicking on a file in the search results leads to reopen the editor. In
this case, the vertical markers reappear.