Try to right click on a toolbar and select a different toolbar size. Admittedly, this should be made automatic.
👍 (‘giant’). Thank you. Javier -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
Try to right click on a toolbar and select a different toolbar size. Admittedly, this should be made automatic.
👍 (‘giant’). Thank you. Javier -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel