Searched refs:getInsets (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/awtUtilities/
H A DBorder.java15 public Insets getInsets() { method in class:Border
/seL4-l4v-master/l4v/isabelle/lib/browser/awtUtilities/
H A DBorder.java15 public Insets getInsets() { method in class:Border
/seL4-l4v-master/isabelle/src/Pure/GUI/
H A Dwrap_panel.scala46 val insets = target.getInsets
/seL4-l4v-master/l4v/isabelle/src/Pure/GUI/
H A Dwrap_panel.scala46 val insets = target.getInsets

Completed in 100 milliseconds