Script Editor: pressing enter in the search box now performs the search. Pressing enter in the search box of the replace tab performs a search. Pressing enter in the replace box of the replace tab now performs a replacement. Pressing the Escape key now closes the dialog. Fixes #972