Skip to content

[222_45] compact toolbar and fix native menu bar empty strip (#2877)#2878

Open
AnvarAtayev wants to merge 1 commit intoMoganLab:mainfrom
AnvarAtayev:AnvarAtayev/222_45/compact-toolbar
Open

[222_45] compact toolbar and fix native menu bar empty strip (#2877)#2878
AnvarAtayev wants to merge 1 commit intoMoganLab:mainfrom
AnvarAtayev:AnvarAtayev/222_45/compact-toolbar

Conversation

@AnvarAtayev
Copy link
Contributor

Closes Issue #2877

Summary

Two related UI improvements for the liii/liii-night themes on macOS:

  1. Compact toolbars - reduce toolbar row height from 36 px to 28 px and tighten button padding, giving a denser, more native-feeling toolbar layout.
  2. Fix empty white strip with native menu bar - when use_native_menubar is enabled, the menuToolBar container remained visible at full height even though its content moved to the system menu bar. The toolbar is now hidden in this case.

Also removes an incorrect setFixedHeight(108 * devicePixelRatio) on the QMenuBar widget, which was setting a physical-pixel value on a logical-pixel widget (resulting in a 216 px tall menu bar on Retina displays).

Files Changed

  • TeXmacs/misc/themes/liii.css
  • TeXmacs/misc/themes/liii-night.css
  • src/Plugins/Qt/qt_tm_widget.cpp

How to Test

  • Build and launch with the default (liii) theme; verify toolbar rows are more compact
  • Enable use_native_menubar in Preferences -> User Interface; verify no empty strip remains below the title bar
  • Disable use_native_menubar; verify the in-window menu bar returns correctly

OLD - use_nativebar=True
CleanShot 2026-02-27 at 10 22 58@2x

OLD - use_nativebar=False
CleanShot 2026-02-27 at 10 23 57@2x

NEW
Image

@MoonL79
Copy link
Contributor

MoonL79 commented Mar 4, 2026

The code you modified exists to fix another issue. Here is the corresponding commit:

85a6a4e

Your modifications only run successfully on specific devices. The effect on my Debian 13 is as follows:

image

If you would like to further improve it, this pull request will remain open for you. If you prefer not to continue, I will close it.

@AnvarAtayev
Copy link
Contributor Author

Hi @MoonL79 , thank you for your feedback. I will improve the change and will submit changes to this PR

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants