Continue a search operation in script editor widget with F3

[M. Gronle]

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.

[itobiege]

fixes issue #43

→ <<cset 919bd32ae5f3>>