/openjdk7/jdk/src/share/classes/javax/swing/text/html/ |
H A D | default.css | 32 margin-left: 0; 33 margin-right: 0; 36 p {margin-top: 15} 40 margin-top: 10; 41 margin-bottom: 10} 45 margin-top: 10; 46 margin-bottom: 10} 50 margin-top: 10; 51 margin-bottom: 10} 55 margin [all...] |
H A D | BlockView.java | 97 int margin = (axis == X_AXIS) ? getLeftInset() + getRightInset() : 99 r.minimum -= margin; 100 r.preferred -= margin; 101 r.maximum -= margin; 153 int margin = (axis == X_AXIS) ? getLeftInset() + getRightInset() : 155 r.minimum -= margin; 156 r.preferred -= margin; 157 r.maximum -= margin;
|
H A D | FrameView.java | 163 * then the JEditorPane's margin's are set to the new values. 166 int margin = 0; 178 margin = Integer.parseInt(marginStr); 179 if (margin > 0) { 180 newInsets.left = margin; 181 newInsets.right = margin; 187 margin = Integer.parseInt(marginStr); 188 if (margin > 0) { 189 newInsets.top = margin; 190 newInsets.bottom = margin; [all...] |
H A D | ParagraphView.java | 162 int margin = (axis == X_AXIS) ? getLeftInset() + getRightInset() : 164 r.minimum -= margin; 165 r.preferred -= margin; 166 r.maximum -= margin;
|
/openjdk7/jdk/src/share/classes/com/sun/java/swing/plaf/motif/ |
H A D | MotifToggleButtonUI.java | 106 Insets margin = b.getMargin(); 111 g.fillRect(insets.left - margin.left, 112 insets.top - margin.top, 113 size.width - (insets.left-margin.left) - (insets.right - margin.right), 114 size.height - (insets.top-margin.top) - (insets.bottom - margin.bottom));
|
H A D | MotifButtonUI.java | 140 Insets margin = b.getMargin(); 144 g.fillRect(insets.left - margin.left, 145 insets.top - margin.top, 146 size.width - (insets.left-margin.left) - (insets.right - margin.right), 147 size.height - (insets.top-margin.top) - (insets.bottom - margin.bottom));
|
/openjdk7/jdk/src/share/classes/javax/swing/plaf/synth/ |
H A D | SynthBorder.java | 93 Insets margin = null; 102 margin = ((AbstractButton)c).getMargin(); 111 margin = ((JTextComponent)c).getMargin(); 114 margin = ((JToolBar)c).getMargin(); 117 margin = ((JMenuBar)c).getMargin(); 119 if (margin != null) { 120 insets.top += margin.top; 121 insets.bottom += margin.bottom; 122 insets.left += margin.left; 123 insets.right += margin [all...] |
H A D | SynthTextFieldUI.java | 129 Insets margin = comp.getMargin(); 130 if (margin == null || margin instanceof UIResource) { 131 margin = (Insets)style.get(context, prefix + ".margin"); 133 if (margin == null) { 135 margin = SynthLookAndFeel.EMPTY_UIRESOURCE_INSETS; 137 comp.setMargin(margin);
|
H A D | SynthButtonUI.java | 83 Insets margin = (Insets)style.get(context,getPropertyPrefix() + 84 "margin"); 86 if (margin == null) { 88 margin = SynthLookAndFeel.EMPTY_UIRESOURCE_INSETS; 90 b.setMargin(margin);
|
/openjdk7/langtools/src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/ |
H A D | stylesheet.css | 10 margin:0; 81 margin-top:-7px; 84 margin-left:.5em; 113 margin:0; 128 margin-top:10px; 154 margin:0 25px 0 0; 179 margin: auto 5px; 187 margin:0 20px; 191 margin:10px; 199 margin [all...] |
/openjdk7/jdk/src/share/classes/javax/swing/plaf/basic/ |
H A D | BasicBorders.java | 193 * A border which is like a Margin border but it will only honor the margin 194 * if the margin has been explicitly set by the developer. 202 super(3,3,3,3); // hardcoded margin for JLF requirements. 206 Insets margin = null; 209 margin = ((AbstractButton)c).getMargin(); 211 if (margin == null || margin instanceof UIResource) { 212 // default margin so replace 219 insets.left = margin.left; 220 insets.top = margin [all...] |
/openjdk7/jdk/src/macosx/classes/com/apple/laf/ |
H A D | AquaButtonBorder.java | 131 final Insets margin = sizeVariant.margins; 133 if (margin.equals(inset)) return false; 136 (inset.top < margin.top) || 137 (inset.left < margin.left) || 138 (inset.right < margin.right) || 139 (inset.bottom < margin.bottom) 150 Insets margin = ((AbstractButton)c).getMargin(); 151 margin = (margin == null) ? new InsetsUIResource(0, 0, 0, 0) : (Insets)margin [all...] |
H A D | AquaTextFieldUI.java | 139 final Insets margin = c.getMargin(); 143 if (margin != null) { 144 insets.top -= margin.top; 145 insets.left -= margin.left; 146 insets.bottom -= margin.bottom; 147 insets.right -= margin.right;
|
H A D | AquaToolBarUI.java | 122 final Insets margin = ((JToolBar)c).getMargin(); 124 if (margin != null) { 125 borderInsets.left += margin.left; 126 borderInsets.top += margin.top; 127 borderInsets.right += margin.right; 128 borderInsets.bottom += margin.bottom;
|
/openjdk7/jdk/src/share/classes/com/sun/java/swing/plaf/windows/ |
H A D | XPStyle.java | 314 Insets margin = null; 321 margin = ((AbstractButton)c).getMargin(); 323 margin = ((JToolBar)c).getMargin(); 325 margin = ((JTextComponent)c).getMargin(); 327 insets.top = (margin != null? margin.top : 0) + thickness; 328 insets.left = (margin != null? margin.left : 0) + thickness; 329 insets.bottom = (margin != null? margin [all...] |
/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 | 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/share/classes/javax/swing/plaf/metal/ |
H A D | MetalComboBoxUI.java | 342 Insets margin = arrowButton.getMargin(); 343 size.height += margin.top + margin.bottom; 344 size.width += margin.left + margin.right;
|
H A D | MetalBorders.java | 649 * A border which is like a Margin border but it will only honor the margin 650 * if the margin has been explicitly set by the developer. 658 super(3,3,3,3); // hardcoded margin for JLF requirements. 662 Insets margin = null; 665 margin = ((AbstractButton)c).getMargin(); 667 if (margin == null || margin instanceof UIResource) { 668 // default margin so replace 675 insets.left = margin.left; 676 insets.top = margin [all...] |
/openjdk7/jdk/src/share/classes/sun/print/ |
H A D | PSStreamPrintService.java | 223 float margin = 0.5f; // both these papers > 5" in all dimensions 228 iw = MediaSize.NA.LETTER.getX(Size2DSyntax.INCH) - 2*margin; 229 ih = MediaSize.NA.LETTER.getY(Size2DSyntax.INCH) - 2*margin; 231 iw = MediaSize.ISO.A4.getX(Size2DSyntax.INCH) - 2*margin; 232 ih = MediaSize.ISO.A4.getY(Size2DSyntax.INCH) - 2*margin; 234 return new MediaPrintableArea(margin, margin, iw, ih,
|
/openjdk7/jdk/src/share/classes/javax/swing/text/ |
H A D | AsyncBoxView.java | 89 * Get the top part of the margin around the view. 96 * Set the top part of the margin around the view. 105 * Get the bottom part of the margin around the view. 112 * Set the bottom part of the margin around the view. 121 * Get the left part of the margin around the view. 128 * Set the left part of the margin around the view. 137 * Get the right part of the margin around the view. 144 * Set the right part of the margin around the view. 160 float margin = (axis == X_AXIS) ? 162 return margin; [all...] |
/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/macosx/classes/sun/lwawt/ |
H A D | LWListPeer.java | 145 final int margin = 2; 153 (fm == null ? 10 : itemHeight) * rows + (2 * margin));
|
/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;
|