Admin/haskell/stack/settings

more robust GUI setup via Java, instead of shell script;
support for automatic / approximative GDK_SCALE for Linux;

# -*- shell-script -*- :mode=shellscript:

ISABELLE_STACK="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}/stack"