prefer shorter command
allow changing font size in GUI
unstash