Searched defs:offs1 (Results 1 - 7 of 7) sorted by relevance

/openjdk7/jdk/src/share/classes/com/sun/java/swing/plaf/windows/
H A DWindowsTextUI.java91 * @param offs1 the ending model offset >= offs1
95 public void paint(Graphics g, int offs0, int offs1, Shape bounds, JTextComponent c) { argument
101 Rectangle p1 = mapper.modelToView(c, offs1);
117 secondIsDot = (offs1 == dot);
160 * @param offs1 the ending model offset >= offs1
167 public Shape paintLayer(Graphics g, int offs0, int offs1, argument
182 secondIsDot = (offs1 == dot);
185 offs1
[all...]
/openjdk7/jdk/src/macosx/classes/com/apple/laf/
H A DAquaHighlighter.java85 public void paint(final Graphics g, final int offs0, final int offs1, final Shape bounds, final JTextComponent c) { argument
87 super.paint(g, offs0, offs1, bounds, c);
90 public Shape paintLayer(final Graphics g, final int offs0, final int offs1, final Shape bounds, final JTextComponent c, final View view) { argument
92 return super.paintLayer(g, offs0, offs1, bounds, c, view);
/openjdk7/jdk/src/share/classes/javax/swing/text/
H A DDefaultHighlighter.java399 * @param offs1 the ending model offset >= offs1
403 public void paint(Graphics g, int offs0, int offs1, Shape bounds, JTextComponent c) { argument
409 Rectangle p1 = mapper.modelToView(c, offs1);
445 * @param offs1 the ending model offset >= offs1
452 public Shape paintLayer(Graphics g, int offs0, int offs1, argument
466 offs1 == view.getEndOffset()) {
480 offs1,Position.Bias.Backward,
H A DZoneView.java236 int offs1 = getEndOffset();
237 append(createZone(offs0, offs1));
238 handleInsert(offs0, offs1 - offs0);
270 int offs1 = v.getEndOffset();
271 if ((offs1 - offs0) > maxZoneSize) {
272 splitZone(index, offs0, offs1);
284 void splitZone(int index, int offs0, int offs1) { argument
292 offs = Math.min(getDesiredZoneEnd(offs0), offs1);
294 } while (offs < offs1);
312 int offs1
[all...]
H A DAbstractDocument.java2498 * @param offs1 The end offset >= offs0
2501 public LeafElement(Element parent, AttributeSet a, int offs0, int offs1) { argument
2505 p1 = createPosition(offs1);
/openjdk7/jdk/src/share/classes/javax/swing/text/html/
H A DHTMLDocument.java4086 * @param offs1 the end offset (must be at least offs0)
4089 public RunElement(Element parent, AttributeSet a, int offs0, int offs1) { argument
4090 super(parent, a, offs0, offs1);
H A DHTMLEditorKit.java2032 * @param offs1 the ending model offset >= offs1
2039 public Shape paintLayer(Graphics g, int offs0, int offs1, argument
2051 offs1 == view.getEndOffset()) {
2068 offs1,Position.Bias.Backward,

Completed in 81 milliseconds