Bo Peng wrote:
URL: http://www.lyx.org/trac/changeset/17538
Log:
Present for Bo: Cleanup ViewSource and make it a DockWidget.
Hi, Abdel,
I like this change very much. There is one minor problem though: is it
possible to move the three buttons/checkboxes to the title bar?
An option would be to use a QSplitter instead of the DockWidget to
remove the title bar. But I won't do that now because this would mean
reorganizing the WorkArea and TabBar code.
This
will make the window look less cluttered. Moving them to the side is
also ok because source code does not use all the width here.
I've done that and set the spacing to zero to remove even more useless
empty space.
Abdel.
