Le 07/05/13 06:13, Pavel Sanda a écrit :
Jean-Marc Lasgouttes wrote:What about this different logic instead? It relies on the size/height of the window, not on the dock position.No strong preference here. P
The advantage is that it also does something reasonable when the widget is not docked (or when it is docked and you set the LyX window to ridiculous size :)
Then I'll push it and see what happens. I'll revert if there are complaints. JMarc
