With the current behavior, when we search a single file and there is no match found and the script editor jumps back to the beginning of the file, not only we lose the current location in the file, but we also no longer are able to get the previous match using shift + f3, is this latter behavior expected?
