| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/jEdit/patches/ (Isabelle Prover Version 2025-1©) Datei vom 16.11.2025 mit Größe 624 B |
|
Quelle gutterSprache: JAVA |
|||||||||||||||
|
diff -ru jedit5.7.0/jEdit/org/gjt/sp/jedit/textarea/Gutter.java jedit5.7.0-patched/ --- jedit5.7.0/jEdit/org/gjt/sp/jedit/textarea/Gutter.java 2024-08-03 19:53:18.0000 +++ jedit5.7.0-patched/jEdit/org/gjt/sp/jedit/textarea/Gutter.java 2025-04-22 22:08 @@ -682,7 +682,7 @@ //{{{ Private members //{{{ Instance variables - private static final int FOLD_MARKER_SIZE = 12; + public static final int FOLD_MARKER_SIZE = 12; private static final int SELECTION_GUTTER_WIDTH = 12; // The selection gutter exists only if the gutter is not expanded
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-08-25) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-08-25