[isabelle-dev] Shortcuts for \<^sub> and \<^sup>?

[Lars Noschinski]

On 15.01.2015 15:59, Makarius wrote:
> On Tue, 13 Jan 2015, Lars Noschinski wrote:
>
>> in Isabelle 2014, on can enter \<^sub> and \<^sup> via C+e DOWN and C+e
>> UP, respectively. In 91649ea1b32c, these shortcuts don't work anymore
>> (at least for me).
>
> This should still work.  Can you try it with a clean
> $ISABELLE_HOME_USER/jedit directory?
Indeed, this works. My configuration still had

    isabelle.control-isub.shortcut=C+e DOWN

instead of

    isabelle.control-sub.shortcut=C+e DOWN

  -- Lars