| /system/core/init/ |
| watchdogd.c | 34 int margin = 10; local
46 margin = atoi(argv[2]);
48 timeout = interval + margin;
63 if (timeout > margin)
64 interval = timeout - margin;
67 ERROR("watchdogd: Adjusted interval to timeout returned by driver: timeout %d, interval %d, margin %d\n",
68 timeout, interval, margin);
|
| /external/chromium_org/third_party/WebKit/Source/devtools/front_end/ |
| breakpointsList.css | 32 margin-top: 4px;
33 margin-bottom: 4px;
34 margin-left: 23px;
35 margin-right: 8px;
40 margin-left: 0;
41 margin-right: 0;
49 margin: 0;
71 margin: 0 4px;
82 margin: 2px 0 0 20px;
93 margin-top: -16px
[all...] |
| /external/chromium_org/chrome/browser/resources/chromeos/login/ |
| enterprise_info.css | 12 margin-left: auto;
13 margin-right: auto;
18 margin-bottom: -49px;
27 -webkit-margin-end: 4px;
|
| oobe_screen_network.css | 12 margin: 7em auto;
18 margin: 10px 0;
24 margin-bottom: 30px;
28 margin: 33px auto 82px;
|
| oobe_screen_update.css | 13 -webkit-margin-before: 2px;
14 -webkit-margin-end: 4px;
43 margin: 45px 35px;
47 margin: 45px 35px;
53 -webkit-margin-before: 15px;
54 -webkit-margin-start: 45px;
60 -webkit-margin-after: 4px;
64 -webkit-margin-after: 90px;
68 -webkit-margin-after: 4px;
69 -webkit-margin-before: 4px
[all...] |
| /external/chromium_org/chrome/browser/resources/help/ |
| help.css | 17 margin-top: 10px;
21 -webkit-margin-start: 10px;
25 margin-top: 30px;
29 margin-top: 5px;
33 margin-top: 10px;
46 -webkit-margin-end: 4px;
50 margin-top: 16px;
55 margin-top: 200px;
62 margin-right: 4px;
100 margin-bottom: 1.5em
[all...] |
| /external/chromium_org/chrome/browser/resources/net_internals/ |
| chromeos_view.css | 8 margin-top: 20px;
|
| /external/chromium_org/chrome/browser/resources/safe_browsing/ |
| malware_block_v2.css | 15 margin: 0;
23 margin: 40px auto;
38 margin-top: 23px;
53 -webkit-margin-end: 260px;
57 margin-top: 20px;
61 -webkit-margin-end: 260px;
64 margin-bottom: 21px;
65 margin-top: 14px;
69 -webkit-margin-start: 10px;
76 margin-top: 50px
[all...] |
| /external/jmonkeyengine/engine/src/terrain/com/jme3/terrain/noise/filter/ |
| IterativeFilter.java | 47 public int getMargin(int size, int margin) {
49 return margin;
52 margin = f.getMargin(size, margin);
54 margin = this.filter.getMargin(size, margin);
56 margin = f.getMargin(size, margin);
58 return this.iterations * margin + super.getMargin(size, margin);
[all...] |
| /external/chromium_org/chrome/browser/resources/ssl/ |
| fancy_firefox.css | 8 margin: 0;
15 margin: 40px auto;
28 margin-top: 15px;
36 margin: 0 0 .6em 0;
44 margin: 0 80px 0 30px;
48 margin: 1em 0 0 95px;
57 margin-top: 5px;
63 margin: 1em 0 0 95px;
73 margin: 0 0 0 95px;
|
| /external/jmonkeyengine/engine/src/bullet/com/jme3/bullet/collision/shapes/ |
| CollisionShape.java | 50 protected float margin = 0.0f; field in class:CollisionShape
101 public void setMargin(float margin) {
102 setMargin(objectId, margin);
103 this.margin = margin;
108 private native void setMargin(long objectId, float margin);
113 capsule.write(getMargin(), "margin", 0.0f);
119 this.margin = capsule.readFloat("margin", 0.0f);
|
| /external/chromium/chrome/browser/chromeos/login/ |
| textfield_with_margin.cc | 12 // Holds ratio of the margin to the preferred text height.
15 // Size of each vertical margin (top, bottom).
32 int margin = GetPreferredSize().height() * kTextMarginRate; local
33 SetHorizontalMargins(margin, margin);
|
| /external/chromium_org/chrome/browser/ui/views/frame/ |
| contents_container.cc | 28 bool ContentsContainer::SetActiveTopMargin(int margin) {
29 if (active_top_margin_ == margin)
32 active_top_margin_ = margin;
|
| /external/chromium/chrome/browser/resources/options/ |
| sync_setup_overlay.css | 4 margin: 10px 0;
20 margin: 10px 0;
24 margin: 0 25px;
32 margin: 10px 0;
36 margin-bottom: 10px;
40 margin-bottom: 30px;
50 margin: 10px 0;
59 margin-bottom: 6px;
60 margin-top: 6px;
95 margin: 4px 10px
[all...] |
| /external/chromium-trace/trace-viewer/src/base/ |
| unittest.css | 8 margin-bottom: 0;
9 margin-top: 0;
18 margin-bottom: 10px;
32 margin-bottom: 20px;
38 margin: 0;
52 margin-top: 0;
56 margin-bottom: 20px;
77 margin-right: 5px;
|
| /external/chromium_org/chrome/browser/resources/options/ |
| certificate_tree.css | 9 margin-right: 3px;
15 margin-left: 3px;
|
| reset_profile_settings_overlay.css | 10 margin: 4px 10px;
|
| /external/chromium_org/chrome/common/extensions/docs/examples/api/notifications/ |
| style.css | 9 margin: 10px;
16 margin: 1px 5px 0 1px;
|
| /external/chromium_org/third_party/WebKit/PerformanceTests/Dromaeo/resources/dromaeo/web/ |
| ie.css | 15 /* This fixes the problem where IE6 adds an extra 3px margin to
27 legend { margin-bottom:1.4em; }
30 ol { margin-left:2em;
|
| /external/chromium_org/third_party/WebKit/Tools/GardeningServer/styles/ |
| perf.css | 35 margin: 0;
41 margin: 0;
|
| /external/chromium-trace/trace-viewer/src/tcmalloc/ |
| heap_instance_track.css | 13 margin: 0;
|
| /external/chromium_org/chrome/browser/resources/ |
| extensions_infobar.css | 14 margin: 0;
|
| /external/chromium_org/third_party/WebKit/Source/core/Resources/pagepopups/ |
| pickerCommon.css | 29 margin: 0;
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/common/layout/grid/ |
| GridMatch.java | 25 * edge, or a margin, or centering, or a gap distance from another edge and so on.
44 /** Amount of margin between the matched edges */
45 public int margin; field in class:GridMatch
57 * @param margin a margin distance to add to the actual location from the matched line
60 boolean createCell, int margin) {
67 this.margin = margin;
98 if (margin != UNDEFINED) {
99 if (cellIndex == 0 && margin != 0)
[all...] |
| /external/chromium_org/chrome/browser/resources/memory_internals/ |
| memory_internals.css | 7 margin: 0;
17 margin: 0;
27 margin: 20px 0 0 -38px;
|
