* the history is stored in the session file and restored in the next LyX session,
* the lists now disappear when the mouse is released in stead of pressed,
* correct enabling/disabling of the up/down button,
* hide the lists when clicked outside the list. Now using the function event() and check for a mouseButtonPressEvent instead of using mouseReleaseEvent(). The latter is only called when the mouse button is released inside the widget, but we want to use this event to detect a mouseclick outside the list.
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@28250 a592a061-630c-0410-9148-cb99ea01b6c8
