[isabelle] Isabelle/jEdit - C+e



Dear all,

on my linux (x86_64, Fedora 20) machine when using the find panel, I cannot enter subscripts (same for superscripts) in the search field. The reason is that when pressing C+e, the focus will switch to the main buffer (and thus I will insert the subscript via ⇩ in the main buffer instead).

Is this different on other platforms?

cheers

chris




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.