Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust GUI, notably for Big Sur full-screen where the hypersearch panel becomes a separate maximized window;
authorwenzelm
Sun, 17 Jan 2021 14:00:23 +0100
changeset 73144 c98a2f82b950
parent 73143 d0c8e8ca3505
child 73145 661e9bc0411e
more robust GUI, notably for Big Sur full-screen where the hypersearch panel becomes a separate maximized window;
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jEdit.props	Sun Jan 17 11:19:15 2021 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Sun Jan 17 14:00:23 2021 +0100
@@ -187,6 +187,7 @@
 helpviewer.font=Isabelle DejaVu Serif
 helpviewer.fontsize=12
 home.shortcut=
+hypersearch-results.dock-position=right
 insert-newline-indent.shortcut=
 insert-newline.shortcut=
 isabelle-debugger.dock-position=floating
isabelle