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

/openjdk7/hotspot/agent/test/jdi/
H A Dsagdoit.java49 int margin = 0; field in class:sagdoit
59 margin += count;
63 System.out.println(blanks.substring(nblanks - margin) + msg);
/openjdk7/jdk/src/share/classes/javax/swing/
H A DJMenuBar.java99 private Insets margin = null; field in class:JMenuBar
345 * Sets the margin between the menubar's border and
349 * @param m an Insets object containing the margin values
357 Insets old = margin;
358 this.margin = m;
359 firePropertyChange("margin", old, m);
367 * Returns the margin between the menubar's border and
368 * its menus. If there is no previous margin, it will create
369 * a default margin with zero size.
371 * @return an <code>Insets</code> object containing the margin value
[all...]
H A DJToolBar.java98 private Insets margin = null; field in class:JToolBar
253 * Sets the margin between the tool bar's border and
256 * object uses this value to create the proper margin.
259 * appropriate margin space (otherwise this property will
266 * description: The margin between the tool bar's border and contents
272 Insets old = margin;
273 margin = m;
274 firePropertyChange("margin", old, m);
280 * Returns the margin between the tool bar's border and
283 * @return an <code>Insets</code> object containing the margin value
[all...]
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 +
H A DAbstractButton.java90 public static final String MARGIN_CHANGED_PROPERTY = "margin";
164 private Insets margin = null; field in class:AbstractButton
381 * Sets space for margin between the button's border and
383 * use the default margin. The button's default <code>Border</code>
384 * object will use this value to create the proper margin.
387 * appropriate margin space (else this property will
398 // Cache the old margin if it comes from the UI
401 } else if(margin instanceof UIResource) {
402 defaultMargin = margin;
405 // If the client passes in a null insets, restore the margin
[all...]
/openjdk7/jdk/src/windows/native/sun/windows/
H A Dawt_Checkbox.cpp278 const int margin = 2; /* 2 is a heuristic number */ local
281 2 * margin - size.cx
282 : rect.left - margin;
285 margin
286 : focusRect.left + size.cx + 2 * 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) {

Completed in 67 milliseconds