Searched refs:Border (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/awtUtilities/
H A DBorder.java2 Title: awtUtilities/Border.java
12 public class Border extends Panel { class in inherits:Panel
19 public Border(Component comp,int s) { method in class:Border
/seL4-l4v-master/l4v/isabelle/lib/browser/awtUtilities/
H A DBorder.java2 Title: awtUtilities/Border.java
12 public class Border extends Panel { class in inherits:Panel
19 public Border(Component comp,int s) { method in class:Border
/seL4-l4v-master/l4v/isabelle/lib/browser/
H A Dbuild42 awtUtilities/Border.java
/seL4-l4v-master/isabelle/lib/browser/
H A Dbuild42 awtUtilities/Border.java
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DGraphBrowser.java146 Component gv2 = new Border(scrollp1, 3);
147 Component tb2 = new Border(scrollp2, 3);
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DGraphBrowser.java146 Component gv2 = new Border(scrollp1, 3);
147 Component tb2 = new Border(scrollp2, 3);

Completed in 91 milliseconds