Searched defs:margin (Results 1 - 9 of 9) sorted by relevance
/openjdk7/hotspot/agent/test/jdi/ |
H A D | sagdoit.java | 49 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 D | JMenuBar.java | 99 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 D | JToolBar.java | 98 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 D | JPopupMenu.java | 117 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 D | AbstractButton.java | 90 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 D | awt_Checkbox.cpp | 278 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 D | JTextComponent.java | 512 * 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 D | CSS2Properties.java | 64 * 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 D | compile.hpp | 662 bool check_node_count(uint margin, const char* reason) { argument 663 if (live_nodes() + margin > (uint)MaxNodeLimit) {
|
Completed in 67 milliseconds