improved search for active dock-widget after focus has changed * main-window.cc (focus_changed): check new widget for qscintilla-widget, do not change editor style sheet when focus switches from editor to find dialog in order to prevent some side effects in the find dialog