prefer static Font -- evade spontaneous change of TextField.font seen with Metal L&F in Plugin Options / Isabelle / General / Apply;

uniform mandatory qualifier for all locale expressions, including 'statespace' parent; removed obsolete '!' syntax;

qualifier is mandatory by default;

prefer explicit State panel;

suppress already persistent state output as well;

added option timeout_scale;

syntactic completion may supersede semantic completion, e.g. relevant for "\undefined" vs. "undefined" in ML;