swing-menu-corr auf Linux Mint 20 aktualisiert
Ein viertel Jahr nach Einführung von Linux Mint 20 habe ich es nun endlich geschafft mein Java Swing-Korrekturskript swing-menu-corr anzupassen und auf Version 1.2.4 zu […]
Weiterlesen »Schlagwort: Linux Mint
Deutsche Rechtschreibkorrektur in MdCharm
Um die deutsche Rechtschreibkorrektur im Markdown-Editor MdCharm in Windows hinzuzufügen, lädt man die Rechtschreibextentions (*.oxt) von OpenOffice herunter und entpackt sie z.B. mit 7-Zip (Windows) […]
Weiterlesen »wxMaxima Update
Eckige Klammern – „[“ bzw. „]“ – lassen sich nicht in wxMaxima 13 (Linux Mint 17, Ubuntu 14.04) eingeben. Das ppa von István Blahota stellt […]
Weiterlesen »
Korrekte Javas Swing Menüs im GTK LaF von Linux Mint
Seit Einführung von GTK 3 in den gängigen GNU/Linux Distributionen, zeigen Javas Swing Anwendungen, die im GTK Look and Feel (LaF) laufen, bei der Darstellung […]
Weiterlesen »