Searched refs:margin (Results 26 - 36 of 36) sorted by relevance

12

/openjdk7/jdk/src/share/classes/javax/swing/
H A DJPopupMenu.java117 private Insets margin = null; field in class:JPopupMenu
1100 * Returns the margin, in pixels, between the popup menu's border and
1103 * @return an <code>Insets</code> object containing the margin values.
1106 if(margin == null) {
1109 return margin;
1164 String marginString = (margin != null ?
1165 margin.toString() : "");
1173 ",margin=" + marginString +
/openjdk7/jdk/src/macosx/classes/com/apple/laf/
H A DAquaButtonUI.java69 setButtonMarginIfNeeded(b, UIManager.getInsets(pp + "margin"));
154 final Insets margin = b.getMargin();
155 if (margin == null || (margin instanceof UIResource)) {
H A DAquaComboBoxUI.java538 final Insets margin = arrowButton.getMargin();
539 size.height += margin.top + margin.bottom;
/openjdk7/jdk/src/solaris/classes/sun/awt/X11/
H A DXTextFieldPeer.java558 Insets margin = editor.getMargin();
559 if (margin == null || margin instanceof UIResource) {
560 editor.setMargin(uidefaults.getInsets(prefix + ".margin"));
H A DXTextAreaPeer.java627 Insets margin = editor.getMargin();
628 if (margin == null || margin instanceof UIResource) {
629 editor.setMargin(uidefaults.getInsets(prefix + ".margin"));
/openjdk7/jdk/src/share/classes/javax/swing/text/
H A DJTextComponent.java512 * Sets margin space between the text component's border
514 * object will use this value to create the proper margin.
517 * appropriate margin space (else this property will effectively
519 * A PropertyChange event ("margin") is sent to all listeners.
527 Insets old = margin;
528 margin = m;
529 firePropertyChange("margin", old, m);
534 * Returns the margin between the text component's border and
537 * @return the margin
540 return margin;
3847 private Insets margin; field in class:JTextComponent
[all...]
/openjdk7/jaxp/src/org/w3c/dom/css/
H A DCSS2Properties.java64 * their semantics; when the <code>margin</code> property is set, for
86 * sides, such as the <code>margin</code>, <code>padding</code>, and
967 * See the margin property definition in CSS2.
971 * See the margin property definition in CSS2.
977 public void setMargin(String margin) argument
981 * See the margin-top property definition in CSS2.
985 * See the margin-top property definition in CSS2.
995 * See the margin-right property definition in CSS2.
999 * See the margin-right property definition in CSS2.
1009 * See the margin
[all...]
/openjdk7/hotspot/src/share/vm/opto/
H A Dcompile.hpp662 bool check_node_count(uint margin, const char* reason) { argument
663 if (live_nodes() + margin > (uint)MaxNodeLimit) {
/openjdk7/jdk/src/share/classes/javax/swing/plaf/basic/
H A DBasicTextUI.java345 Insets margin = editor.getMargin();
346 if (margin == null || margin instanceof UIResource) {
347 editor.setMargin(UIManager.getInsets(prefix + ".margin"));
/openjdk7/jdk/src/windows/native/sun/windows/
H A Dawt_PrintJob.cpp330 static BOOL getPrintableArea(HDC pdc, HANDLE hDevMode, RectDouble *margin);
3084 // width is really right margin, height is really bottom margin.
3214 // compare margin from page setup dialog with our device printable area
3436 /* Set the margins of the paper. In Windows' margin RECT,
4101 static BOOL getPrintableArea(HDC pdc, HANDLE hDevMode, RectDouble *margin)
4124 margin->x = (jdouble)left/resx;
4125 margin->y =(jdouble)top/resy;
4126 margin->width = (jdouble)width/resx;
4127 margin
[all...]
/openjdk7/jdk/src/share/classes/javax/swing/text/html/
H A DStyleSheet.java1808 * account for the margin, border, and padding.
1869 // remove margin
1959 * margin-(left|right)-(ltr|rtl) were introduced to describe it
1960 * if margin-(left|right) is present we are to use it.
1962 * @param side The horizontal side to fetch margin for
1964 * @param cssMargin margin from css
1965 * @param a AttributeSet for the View we getting margin for
1967 * @return orientation depended margin
1971 float margin = cssMargin;
1995 margin
[all...]

Completed in 286 milliseconds

12