src/Tools/jEdit/patches/jedit-4.5.2/chunks
author wenzelm
Mon, 03 Sep 2012 20:57:51 +0200
changeset 49097 4e5e48c589ea
permissions -rw-r--r--
more direct access to all-important chunks for text painting; clarified line_start offset: physical line start not start(i);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
49097
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
     1
diff -ru jEdit/org/gjt/sp/jedit/textarea/TextArea.java jEdit-patched/org/gjt/sp/jedit/textarea/TextArea.java
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
     2
--- jEdit/org/gjt/sp/jedit/textarea/TextArea.java       2012-08-13 19:11:04.000000000 +0200
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
     3
+++ jEdit-patched/org/gjt/sp/jedit/textarea/TextArea.java       2012-09-03 19:37:48.000000000 +0200
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
     4
@@ -905,6 +905,11 @@
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
     5
                return chunkCache.getLineInfo(screenLine).physicalLine;
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
     6
        } //}}}
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
     7
 
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
     8
+       public Chunk getChunksOfScreenLine(int screenLine)
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
     9
+       {
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
    10
+               return chunkCache.getLineInfo(screenLine).chunks;
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
    11
+       }
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
    12
+
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
    13
        //{{{ getScreenLineOfOffset() method
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
    14
        /**
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
    15
         * Returns the screen (wrapped) line containing the specified offset.
4e5e48c589ea more direct access to all-important chunks for text painting;
wenzelm
parents:
diff changeset
    16