Alexandra Graß (Jan 21 2026 at 14:47): Alexandra Graß (Jan 21 2026 at 14:47):The new distribution Isabelle2025-2 comes without the two green arrows allowing one to navigate back to previous locations, for example after clicking on and following the link to a definition or theorem placed elsewhere. I use this option quiet often and was sad not to find it anymore. Here's my fix:
Install.
+. In the following dialogue, select the Navigator plugin, then search for the desired command/macro and match it with the appropriate icon. Add by clicking OK.
Wanted to share this in case other people encounter the same issue :)
Fabian Huch (Jan 21 2026 at 15:11):See this relevant NEWS item:
- Isabelle/jEdit provides builtin navigation support, with actions navigate-backwards (AS-LEFT) and navigate-forwards (AS-RIGHT). These actions are available via arrow icons in the Search Bar, which is now enabled by default. The old plugins Navigator and Code2HTML are now longer included. The old-fashioned toolbar, with its old Navigator icons, is now disabled by default.
Fabian Huch (Jan 21 2026 at 15:13):Are the old arrows superior to the new ones (except for their nice color)? I.e. is there something that doesn't work with them but did work with the old oens?
Alexandra Graß (Jan 21 2026 at 15:28):Thanks for pointing that out!
Are the old arrows superior to the new ones?
Functionality-wise, I can't tell yet, sorry.
I went ahead and enabled the Tool Bar again to have access to the split view buttons. At the same time, I don't want my GUI to be cluttered. So I disabled the search bar. Accordingly, I was searching for the commands/macros I can add to the Tool Bar. And the new gray arrows don't seem to show in the selection menu.
At this point, I should probably just memorize the ~6 extra shortcuts :sweat_smile:
Fabian Huch (Jan 21 2026 at 15:33):I see, so the missing split buttons are the real problem. You will find those commands under View -> Splitting.
Last updated: Feb 06 2026 at 20:37 UTC