avoid complication and event duplication due to KeyEventInterceptor -- NB: popup has focus within root window, it is closed on loss of focus;
uniform JEdit_Lib.propagate_key;
#!/usr/bin/env bash
#
# Author: Makarius
#
# Default Isabelle application wrapper.
exec "$(dirname "$0")"/bin/isabelle jedit -s -- "$@"