Continue a search operation in script editor widget with F3

Issue #43 resolved
M. Gronle
created an issue

Even if the search bar is closed and F3 is pressed, the last search should be continued. Up to now, this is only the case if the search bar is still open.

Comments (1)

  1. Log in to comment