| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/jEdit/patches/ (Beweissystem Isabelle Version 2025-1©) Datei vom 16.11.2025 mit Größe 1 kB |
|
Quelle folding Sprache: PVS |
|||||||||
|
diff -ru jedit5.7.0/jEdit/org/gjt/sp/jedit/buffer/JEditBuffer.java jedit5.7.0-patch
--- jedit5.7.0/jEdit/org/gjt/sp/jedit/buffer/JEditBuffer.java 2024-08-03 19:53:15.0 +++ jedit5.7.0-patched/jEdit/org/gjt/sp/jedit/buffer/JEditBuffer.java 2024-10-29 11 @@ -2054,29 +2054,23 @@ { Segment seg = new Segment(); newFoldLevel = foldHandler.getFoldLevel(this,i,seg); - if(newFoldLevel != lineMgr.getFoldLevel(i)) + if(Debug.FOLD_DEBUG) + Log.log(Log.DEBUG,this,i + " fold level changed"); + changed = true; + // Update preceding fold levels if necessary + List<Integer> precedingFoldLevels = + foldHandler.getPrecedingFoldLevels( + this,i,seg,newFoldLevel); + if (precedingFoldLevels != null) { - if(Debug.FOLD_DEBUG) - Log.log(Log.DEBUG,this,i + " fold level changed"); - changed = true; - // Update preceding fold levels if necessary - if (i == firstInvalidFoldLevel) + int j = i; + for (Integer foldLevel: precedingFoldLevels) { - List<Integer> precedingFoldLevels = - foldHandler.getPrecedingFoldLevels( - this,i,seg,newFoldLevel); - if (precedingFoldLevels != null) - { - int j = i; - for (Integer foldLevel: precedingFoldLevels) - { - j--; - lineMgr.setFoldLevel(j, foldLevel); - } - if (j < firstUpdatedFoldLevel) - firstUpdatedFoldLevel = j; - } + j--; + lineMgr.setFoldLevel(j, foldLevel); } + if (j < firstUpdatedFoldLevel) + firstUpdatedFoldLevel = j; } lineMgr.setFoldLevel(i,newFoldLevel); } ¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28