- changed status to resolved
Continue a search operation in script editor widget with F3
Issue #43
resolved
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)
-
- Log in to comment
fixes issue
#43→ <<cset 919bd32ae5f3>>