Searched defs:margin (Results 1 - 9 of 9) sorted by relevance

/openjdk10/jdk/src/java.desktop/share/classes/javax/swing/
H A DJToolBar.java93 private Insets margin = null; field in class:JToolBar
[all...]
H A DJMenuBar.java105 private Insets margin = null; field in class:JMenuBar
[all...]
H A DJPopupMenu.java113 private Insets margin = null; field in class:JPopupMenu
[all...]
H A DAbstractButton.java163 private Insets margin = null; field in class:AbstractButton
[all...]
/openjdk10/langtools/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/jquery/
H A Djquery-ui.js
/openjdk10/jdk/src/java.desktop/windows/native/libawt/windows/
H A Dawt_Checkbox.cpp278 const int margin = 2; /* 2 is a heuristic number */ local
/openjdk10/jdk/src/java.desktop/share/classes/javax/swing/text/
H A DJTextComponent.java3887 private Insets margin; field in class:JTextComponent
[all...]
/openjdk10/jaxp/src/jdk.xml.dom/share/classes/org/w3c/dom/css/
H A DCSS2Properties.java977 public void setMargin(String margin) argument
[all...]
/openjdk10/hotspot/src/share/vm/opto/
H A Dcompile.hpp841 bool check_node_count(uint margin, const char* reason) { argument

Completed in 137 milliseconds