[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.

Best,
-- 
cmr
http://octayn.net/

Attachment: signature.asc
Description: OpenPGP digital signature



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