Mercurial Mercurial > repos > isabelle / comparison
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/folding
changeset 65329 4f3da52cec02
parent 61511 d40f906bb13f
child 67992 752a4e6d760c
equal deleted inserted replaced
65328:2510b0ce28da 65329:4f3da52cec02 
     1 diff -ru 5.3.0/jEdit/org/gjt/sp/jedit/buffer/JEditBuffer.java 5.3.0/jEdit-patched/org/gjt/sp/jedit/buffer/JEditBuffer.java
 
     1 diff -ru 5.4.0/jEdit-orig/org/gjt/sp/jedit/buffer/JEditBuffer.java 5.4.0/jEdit-patched/org/gjt/sp/jedit/buffer/JEditBuffer.java
 
     2 --- 5.3.0/jEdit/org/gjt/sp/jedit/buffer/JEditBuffer.java	2015-10-20 19:56:02.000000000 +0200
 
     2 --- 5.4.0/jEdit-orig/org/gjt/sp/jedit/buffer/JEditBuffer.java	2017-03-18 14:30:28.000000000 +0100
 
     3 +++ 5.3.0/jEdit-patched/org/gjt/sp/jedit/buffer/JEditBuffer.java	2015-10-23 20:02:38.897330618 +0200
 
     3 +++ 5.4.0/jEdit-patched/org/gjt/sp/jedit/buffer/JEditBuffer.java	2017-03-19 19:27:45.734945702 +0100
 
     4 @@ -1956,29 +1956,23 @@
 
     4 @@ -1950,29 +1950,23 @@
 
     5  			{
 
     5  			{
 
     6  				Segment seg = new Segment();
 
     6  				Segment seg = new Segment();
 
     7  				newFoldLevel = foldHandler.getFoldLevel(this,i,seg);
 
     7  				newFoldLevel = foldHandler.getFoldLevel(this,i,seg);
 
     8 -				if(newFoldLevel != lineMgr.getFoldLevel(i))
 
     8 -				if(newFoldLevel != lineMgr.getFoldLevel(i))
 
     9 +				if(Debug.FOLD_DEBUG)
 
     9 +				if(Debug.FOLD_DEBUG)
isabelle