User Interface


Topic Replies Activity
About the User Interface category 1 September 6, 2024
If the TeXmacs UI was different... (discussion) 9 September 19, 2024
TeXmacs on Gnome, Icons not visible in dark mode 7 September 4, 2024
Hiding scroll bars? 2 May 19, 2024
Full screen mode has black UI background 5 March 14, 2024