author | wenzelm |
Mon, 03 Sep 2012 20:57:51 +0200 | |
changeset 49097 | 4e5e48c589ea |
permissions | -rw-r--r-- |
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 |