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 |