Searched defs:getAscent (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-10.1.1/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-10.1.1/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 33 milliseconds