swing-menu-corr updated to Linux Mint 20
A quarter of a year after the introduction of Linux Mint 20 I finally managed to adapt my Java Swing correction script swing-menu-corr to version […]
Continue reading »Tag: Linux Mint
Other spell-checking language in MdCharm
To add another language in the spell checker of the markdown editor MdCharm in Windows or GNU/Linux, download the desired dictionary (*.oxt) of OpenOffice. Unzip […]
Continue reading »wxMaxima Update
In wxMaxima 13 (Linux Mint 17, Ubuntu 14.04) it is not possible to type brackets as “[” or “]”. The ppa from István Blahota provides […]
Continue reading »
Display Java’s Swing menus correctly in Linux Mint’s GTK LaF
Since GTK 3 has been introduced Java Swing applications have a bug in displaying their menus when using the GTK Look and Feel (LaF). At […]
Continue reading »