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/brackets
changeset 59571 1081f91c0662
parent 53931 239f8f451976 
--- a/src/Tools/jEdit/patches/brackets	Sat Feb 28 08:50:00 2015 +0100
+++ b/src/Tools/jEdit/patches/brackets	Sat Feb 28 21:51:34 2015 +0100
@@ -1,7 +1,7 @@
-diff -ru 5.1.0/jEdit/org/gjt/sp/jedit/textarea/TextArea.java 5.1.0/jEdit-patched/org/gjt/sp/jedit/textarea/TextArea.java
---- 5.1.0/jEdit/org/gjt/sp/jedit/textarea/TextArea.java	2013-07-28 19:03:32.000000000 +0200
-+++ 5.1.0/jEdit-patched/org/gjt/sp/jedit/textarea/TextArea.java	2013-09-26 16:09:50.131780476 +0200
-@@ -1610,8 +1615,8 @@
+diff -ru 5.2.0/jEdit/org/gjt/sp/jedit/textarea/TextArea.java 5.2.0/jEdit-patched/org/gjt/sp/jedit/textarea/TextArea.java
+--- 5.2.0/jEdit/org/gjt/sp/jedit/textarea/TextArea.java	2015-02-02 02:14:27.000000000 +0100
++++ 5.2.0/jEdit-patched/org/gjt/sp/jedit/textarea/TextArea.java	2015-02-28 20:55:21.140097595 +0100
+@@ -1613,8 +1618,8 @@
  		}
  
  		// Scan backwards, trying to find a bracket
@@ -12,9 +12,9 @@
  		int count = 1;
  		char openBracket = '\0';
  		char closeBracket = '\0';
-diff -ru 5.1.0/jEdit/org/gjt/sp/jedit/TextUtilities.java 5.1.0/jEdit-patched/org/gjt/sp/jedit/TextUtilities.java
---- 5.1.0/jEdit/org/gjt/sp/jedit/TextUtilities.java	2013-07-28 19:03:24.000000000 +0200
-+++ 5.1.0/jEdit-patched/org/gjt/sp/jedit/TextUtilities.java	2013-09-05 10:51:09.996193290 +0200
+diff -ru 5.2.0/jEdit/org/gjt/sp/jedit/TextUtilities.java 5.2.0/jEdit-patched/org/gjt/sp/jedit/TextUtilities.java
+--- 5.2.0/jEdit/org/gjt/sp/jedit/TextUtilities.java	2015-02-02 02:14:26.000000000 +0100
++++ 5.2.0/jEdit-patched/org/gjt/sp/jedit/TextUtilities.java	2015-02-28 20:53:50.167805688 +0100
 @@ -97,6 +97,22 @@
  		case '}': if (direction != null) direction[0] = false; return '{';
  		case '<': if (direction != null) direction[0] = true;  return '>';
isabelle