A collection of a builder and various scripts creating the sites
git clone git://
Log | Files | Refs | README | LICENSE

commit 93440d8518d9bcb8ac914739bb59cc4ebb7aa121
parent f47adbd1a12284ad0b4f484eac40da802a69cd99
Author: Chris Noxz <>
Date:   Wed, 25 Sep 2019 16:58:36 +0200

Fix some formatting issues

Diffstat: | 8+++++---
1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/ b/ @@ -12,23 +12,25 @@ Missing GUI As it turns out Java has a problem with rendering the GUI correctly on non-reparenting window managers, such as *DWM* -- the one I use. The solution to the problem is easy though. If JDK is patched to check for the environment -variable **_JAVA_AWT_WM_NONREPARENTING**, you can set this to equal *1*. I've +variable **\_JAVA\_AWT\_WM\_NONREPARENTING**, you can set this to equal *1*. I've created a startup script for GeoGebra like so: _JAVA_AWT_WM_NONREPARENTING=1 .geogebra-portable This workaround is of course not only applicable to GeoGebra, but to all -Java-applications with similar problems. +Java applications with similar problems. Using GTK theming in GeoGebra ----------------------------- If you want to have the same look and feel in GeoGebra, as the rest of your GTK applications, this can be easily achieved by setting Java options through the -environment variable **_JAVA_OPTIONS**, like so: +environment variable **\_JAVA\_OPTIONS**, like so: _JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true' + + (one line) Again, this is of course applicable to all GUI applications in Java.