Searched defs:getAscent (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ | ||
H A D | AWTFontMetrics.java | 24 public int getAscent() { method in class:AWTFontMetrics |
H A D | AbstractFontMetrics.java | 14 public int getAscent(); method in interface:AbstractFontMetrics |
H A D | DefaultFontMetrics.java | 30 public int getAscent() method in class:DefaultFontMetrics |
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ | ||
H A D | AWTFontMetrics.java | 24 public int getAscent() { method in class:AWTFontMetrics |
H A D | AbstractFontMetrics.java | 14 public int getAscent(); method in interface:AbstractFontMetrics |
H A D | DefaultFontMetrics.java | 30 public int getAscent() method in class:DefaultFontMetrics |
Completed in 87 milliseconds