comparison build-aux/stl_algo.h-fixed @ 19730:52c51472b6b9 gui-release

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
author Torsten <ttl@justmail.de>
date Sun, 04 Jan 2015 11:58:31 +0100
parents 0d660785098e
children
comparison
equal deleted inserted replaced
19729:b0ba6653305a 19730:52c51472b6b9