terru (Nov 17 2025 at 14:46): terru (Nov 17 2025 at 14:46):I've been trying out the RC1 version, and while the Isabelle parts work well for me, it seems jedit's default top toolbar has changed (and for me, worsened; I especially miss the "go back" button). Is there a way to easily get the old one back? I know I can manually edit it in the "global options → tool bar" panel, but if possible I'd much prefer if I could just load some preset ..
Fabian Huch (Nov 17 2025 at 14:55):I think you missed that the new toolbar does have a 'go back' button - it is now all flatlav design.
terru (Nov 17 2025 at 15:01):yes (and of course i found it immediately after giving up & writing the above :see_no_evil:). I'm not a huge fan of it being seemingly part of the search bar, but oh well :woman_shrugging:
Fabian Huch (Nov 17 2025 at 16:02):Is that just out of familiarity with the old UI, or is there a practical downside?
terru (Nov 17 2025 at 16:06):It takes up more height than it did before (I think before the search bar was hidden by default?), so the actual editor now has slightly less space
terru (Nov 17 2025 at 16:07):It's not really much of a problem in general, I just personally dislike it
Last updated: Jan 16 2026 at 08:33 UTC