Searched refs:getDescent (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DAbstractFontMetrics.java15 public int getDescent(); method in interface:AbstractFontMetrics
H A DAWTFontMetrics.java28 public int getDescent() { method in class:AWTFontMetrics
29 return fontMetrics.getDescent();
H A DDefaultFontMetrics.java33 public int getDescent() method in class:DefaultFontMetrics
H A DVertex.java75 fm.getAscent()+fm.getDescent());
H A DNormalVertex.java68 int h=fm.getAscent()+fm.getDescent();
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DAbstractFontMetrics.java15 public int getDescent(); method in interface:AbstractFontMetrics
H A DAWTFontMetrics.java28 public int getDescent() { method in class:AWTFontMetrics
29 return fontMetrics.getDescent();
H A DDefaultFontMetrics.java33 public int getDescent() method in class:DefaultFontMetrics
H A DVertex.java75 fm.getAscent()+fm.getDescent());
H A DNormalVertex.java68 int h=fm.getAscent()+fm.getDescent();
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dsyntax_style.scala51 val b = (m1.getDescent + m1.getLeading) - (m0.getDescent + m0.getLeading)
H A Drich_text_area.scala475 var y0 = y + painter.getLineHeight - (fm.getLeading + 1) - fm.getDescent
638 val y1 = y + painter.getLineHeight - (fm.getLeading + 1) - fm.getDescent
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dsyntax_style.scala51 val b = (m1.getDescent + m1.getLeading) - (m0.getDescent + m0.getLeading)
H A Drich_text_area.scala475 var y0 = y + painter.getLineHeight - (fm.getLeading + 1) - fm.getDescent
638 val y1 = y + painter.getLineHeight - (fm.getLeading + 1) - fm.getDescent

Completed in 109 milliseconds