[isabelle] Feature request: per-text area history

Dear Isabelle developers,

One minor annoyance when using Isabelle/jEdit is that history navigation
is not local to a text area. In particular, if I create a split and
follow a "hyperlink" via ctrl-click, then go do some work and jump
around in the other split, pressing "back" will undo the navigation I
did in the other split before going back in the split.

Ideally, the navigation commands would act on the currently-focused text
area/pane/window/whatever jargon jEdit uses.


Attachment: signature.asc
Description: OpenPGP digital signature

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