Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/patches/title
changeset 81297 07f64697408e
parent 73653 d9823224fcfe 
--- a/src/Tools/jEdit/patches/title	Mon Oct 28 09:43:28 2024 +0100
+++ b/src/Tools/jEdit/patches/title	Tue Oct 29 12:30:15 2024 +0100
@@ -1,7 +1,6 @@
-diff -ru jedit5.6.0/jEdit/org/gjt/sp/jedit/View.java jedit5.6.0-patched/jEdit/org/gjt/sp/jedit/View.java
---- jedit5.6.0/jEdit/org/gjt/sp/jedit/View.java	2020-09-03 05:31:01.000000000 +0200
-+++ jedit5.6.0-patched/jEdit/org/gjt/sp/jedit/View.java	2021-05-10 11:02:05.792257750 +0200
-@@ -1262,15 +1262,10 @@
+--- jedit5.7.0/jEdit/org/gjt/sp/jedit/View.java	2024-08-03 19:53:15.000000000 +0200
++++ jedit5.7.0-patched/jEdit/org/gjt/sp/jedit/View.java	2024-10-29 11:50:54.066016546 +0100
+@@ -1264,15 +1264,10 @@
  
  		StringBuilder title = new StringBuilder();
isabelle