Searched defs:font (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ | ||
H A D | TreeBrowser.java | 25 Font font; field in class:TreeBrowser |
H A D | GraphView.java | 29 Font font; field in class:GraphView |
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ | ||
H A D | TreeBrowser.java | 25 Font font; field in class:TreeBrowser |
H A D | GraphView.java | 29 Font font; field in class:GraphView |
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ | ||
H A D | Dialog.sml | 270 val font = value 393 val font = value [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ | ||
H A D | xwindows.cpp | 449 Font *font; /* Token for C value */ member in class:X_Font_Object 1806 Font *font = (Font *)DEREFHANDLE(fontHandle); local 5185 char name[500]; Font font; local [all...] |
Completed in 76 milliseconds