prefer search bar (with navigation buttons) over old-fashioned tool bar -- requires to update jedit component;

--- a/src/Pure/Admin/component_jedit.scala	Thu Apr 03 12:04:13 2025 +0200
+++ b/src/Pure/Admin/component_jedit.scala	Thu Apr 03 12:37:14 2025 +0200
@@ -412,7 +412,8 @@
 view.gutter.selectionAreaWidth=18
 view.height=850
 view.middleMousePaste=true
-view.showToolbar=true
+view.showSearchbar=true
+view.showToolbar=false
 view.status.memory.background=#666699
 view.status=( mode , fold , encoding ) locked wrap multiSelect rectSelect overwrite lineSep buffersets task-monitor java-status ml-status errors clock
 view.thickCaret=true