| /development/samples/devbytes/animation/CurvedMotion/res/values/ |
| dimens.xml | 17 <!-- Default screen margins, per the Android Design guidelines. -->
|
| /development/samples/devbytes/animation/ListViewItemAnimations/res/values/ |
| dimens.xml | 17 <!-- Default screen margins, per the Android Design guidelines. -->
|
| /development/samples/devbytes/animation/MultiPropertyAnimations/res/values/ |
| dimens.xml | 17 <!-- Default screen margins, per the Android Design guidelines. -->
|
| /development/samples/devbytes/animation/ToonGame/res/values/ |
| dimens.xml | 17 <!-- Default screen margins, per the Android Design guidelines. -->
|
| /external/chromium/chrome/browser/chromeos/login/ |
| username_view.h | 26 // |user_small_shape| is true, then one pixel margins are used. This is done
59 // Holds margins width (depends on the height).
|
| /frameworks/base/docs/html/guide/practices/ui_guidelines/ |
| widget_design.jd | 17 <li>As of Android 4.0, app widgets have margins automatically applied</li>
84 margins between the edges of the bounding box and the frame, and padding between the inner edges of
89 alt="Widgets generally have margins and padding between bounding box, frame, and controls"
92 <p class="img-caption"><strong>Figure 2.</strong> Widgets generally have margins between the
97 margins between the widget frame and the app widget's bounding box to provide better alignment with
122 <p>While the width and height of a cell—as well as the amount of automatic margins applied to
176 some text margins. Your minimum width should be the minimum usable widths of the
178 of 10 characters), plus any horizontal text margins.</p>
182 alt="Example sizes and margins for minimum width/height calculations" id="music_example_redline">
184 <p class="img-caption"><strong>Figure 4.</strong> Example sizes and margins fo
[all...] |
| /external/webkit/Tools/QtTestBrowser/ |
| locationedit.cpp | 95 QMargins margins = textMargins(); local
96 margins.setLeft(m_pageIconLabel->sizeHint().width() + spacing);
97 setTextMargins(margins);
|
| /frameworks/base/docs/html/design/style/ |
| writing.jd | 42 <div class="layout-content-col span-6 layout-with-list-item-margins">
67 <div class="layout-content-col span-6 layout-with-list-item-margins">
119 <div class="layout-content-col span-6 layout-with-list-item-margins">
186 <div class="layout-content-col span-6 layout-with-list-item-margins">
207 <div class="layout-content-col span-6 layout-with-list-item-margins">
232 <div class="layout-content-col span-6 layout-with-list-item-margins">
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gre/ |
| ViewMetadataRepository.java | 31 import com.android.ide.common.api.Margins;
782 public static Margins getInsets(String fqcn, Density density, String theme) {
789 return new Margins(5, 5, 5, 5);
792 return new Margins(4, 4, 0, 7);
797 return new Margins(3, 3, 3, 3);
800 return new Margins(2, 2, 0, 4);
805 return new Margins(2, 2, 2, 2);
808 return new Margins(1, 3, 0, 4);
815 return new Margins(5, 5, 5, 5);
818 return new Margins(2, 2, 0, 5)
[all...] |
| NodeProxy.java | 24 import com.android.ide.common.api.Margins;
59 private static final Margins NO_MARGINS = new Margins(0, 0, 0, 0);
97 public @NonNull Margins getMargins() {
101 Margins margins = view.getMargins(); local
102 if (margins != null) {
103 return margins;
|
| /external/webkit/Source/WebCore/platform/chromium/ |
| ThemeChromiumMac.mm | 305 static IntRect inflateRect(const IntRect& zoomedRect, const IntSize& zoomedSize, const int* margins, float zoomFactor)
309 int widthDelta = zoomedRect.width() - (zoomedSize.width() + margins[leftMargin] * zoomFactor + margins[rightMargin] * zoomFactor);
310 int heightDelta = zoomedRect.height() - (zoomedSize.height() + margins[topMargin] * zoomFactor + margins[bottomMargin] * zoomFactor);
313 result.setX(result.x() - margins[leftMargin] * zoomFactor);
317 result.setY(result.y() - margins[topMargin] * zoomFactor);
333 static const int margins[3][4] =
339 return margins[controlSize];
418 static const int margins[3][4]
[all...] |
| /external/webkit/Source/WebCore/platform/mac/ |
| ThemeMac.mm | 187 static IntRect inflateRect(const IntRect& zoomedRect, const IntSize& zoomedSize, const int* margins, float zoomFactor)
191 int widthDelta = zoomedRect.width() - (zoomedSize.width() + margins[leftMargin] * zoomFactor + margins[rightMargin] * zoomFactor);
192 int heightDelta = zoomedRect.height() - (zoomedSize.height() + margins[topMargin] * zoomFactor + margins[bottomMargin] * zoomFactor);
195 result.setX(result.x() - margins[leftMargin] * zoomFactor);
199 result.setY(result.y() - margins[topMargin] * zoomFactor);
215 static const int margins[3][4] =
221 return margins[controlSize];
297 static const int margins[3][4]
[all...] |
| /development/samples/WeatherListWidget/res/layout/ |
| widget_layout.xml | 24 <!-- We define separate margins to allow for flexibility in twiddling the margins
|
| /packages/apps/Browser/res/values/ |
| dimensions.xml | 58 <!-- Preference activity side margins -->
60 <!-- Preference activity side margins negative-->
|
| /packages/apps/ContactsCommon/res/values/ |
| dimens.xml | 72 <!-- Empty message margins -->
75 <!-- contact browser list margins -->
|
| /external/chromium/chrome/browser/ui/views/bubble/ |
| border_widget_win.h | 27 // Given the size of the contained contents (without margins), and the rect
|
| border_contents.h | 46 // Margins between the contents and the inside of the border, in pixels.
|
| /external/webkit/Source/WebCore/css/ |
| CSSQuirkPrimitiveValue.h | 28 // This value is used to handle quirky margins in reflow roots (body, td, and th) like WinIE.
|
| quirks.css | 24 /* Give floated images margins of 3px */
|
| /packages/apps/Calendar/res/values-w960dp-h527dp/ |
| dimens.xml | 33 <!-- margins size of hours column in day/week view -->
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/common/layout/relative/ |
| ResizeHandler.java | 156 // When resizing and not snapping (e.g. using margins to pick a specific pixel
157 // width) we cannot use -negative- margins to jump back to a closer edge; we
158 // must always use positive margins, so mark closer edges that result in a negative
193 // that has margins and how that should be handled.
|
| GuidelineHandler.java | 61 import com.android.ide.common.api.Margins;
135 * edges, and top and bottom edges offset by the applicable margins in each direction
141 * right edges offset by the applicable margins in each direction
320 Margins margins = node.getMargins(); local
322 if (margins.top != 0) {
324 mHorizontalEdges.add(new Segment(b.y - margins.top, b.x, b.x2(), node, id,
329 if (margins.bottom != 0) {
332 mHorizontalEdges.add(new Segment(b.y2() + margins.bottom, b.x, b.x2(), node,
340 if (margins.left != 0)
[all...] |
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/ui/ |
| MarginChooser.java | 37 * Dialog for choosing margins
64 * @param all current value for the all margins attribute
73 setTitle("Edit Margins");
183 * Returns the margins in the order all, left, right, top, bottom
185 * @return the margins in the order all, left, right, top, bottom, never
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle2/ |
| SelectionOverlay.java | 22 import com.android.ide.common.api.Margins;
138 // when making pixel margins
203 Margins insets = mCanvas.getInsets(selectedNode.getFqcn());
|
| /external/eclipse-windowbuilder/propertysheet/src/org/eclipse/wb/internal/core/model/property/table/ |
| Tooltip.css | 6 /* Margins */
|
