| /external/webkit/WebKit/wx/ |
| WebFramePrivate.h | 56 int marginWidth;
|
| /external/skia/src/views/ |
| SkTextBox.cpp | 150 SkScalar marginWidth = fBox.width();
152 if (marginWidth <= 0 || len == 0)
165 x = SkScalarHalf(marginWidth);
168 x = marginWidth;
183 int count = SkTextLineBreaker::CountLines(text, textStop - text, paint, marginWidth);
205 len = linebreak(text, textStop, paint, marginWidth);
|
| /external/webkit/WebKit/qt/Api/ |
| qwebframe_p.h | 58 int marginWidth;
72 , marginWidth(-1)
98 int marginWidth;
|
| /external/webkit/WebCore/html/ |
| HTMLFrameElement.idl | 28 attribute [ConvertNullToNullString, Reflect=marginwidth] DOMString marginWidth;
|
| HTMLIFrameElement.idl | 30 attribute [ConvertNullToNullString, Reflect=marginwidth] DOMString marginWidth;
|
| HTMLBodyElement.cpp | 181 int marginWidth = ownerFrameElement->getMarginWidth();
182 if (marginWidth != -1)
183 setAttribute(marginwidthAttr, String::number(marginWidth));
|
| /sdk/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/ui/ |
| GridDialog.java | 66 layout.marginWidth = convertHorizontalDLUsToPixels(IDialogConstants.HORIZONTAL_MARGIN);
|
| /sdk/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/widgets/ |
| AvdDetailsDialog.java | 99 gl.marginHeight = gl.marginWidth = 0;
147 gl.marginHeight = gl.marginWidth = 0;
|
| /external/webkit/WebKit/haiku/WebCoreSupport/ |
| FrameLoaderClientHaiku.h | 222 bool allowsScrolling, int marginWidth, int marginHeight);
|
| /external/webkit/WebKit/win/WebCoreSupport/ |
| WebFrameLoaderClient.h | 114 const WebCore::String& referrer, bool allowsScrolling, int marginWidth, int marginHeight);
|
| /external/webkit/WebKit/wx/WebKitSupport/ |
| FrameLoaderClientWx.h | 203 const String& referrer, bool allowsScrolling, int marginWidth, int marginHeight);
|
| FrameLoaderClientWx.cpp | 816 const String& referrer, bool allowsScrolling, int marginWidth, int marginHeight)
824 data->marginWidth = marginWidth;
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/configuration/ |
| LayoutCreatorDialog.java | 116 gl.marginHeight = gl.marginWidth = 0;
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle1/ |
| UiPropertySheetPage.java | 114 layout.marginWidth = 2;
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle2/ |
| PropertySheetPage2.java | 121 layout.marginWidth = 2;
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/wizards/export/ |
| ProjectCheckPage.java | 91 gl.marginHeight = gl.marginWidth = 0;
154 gl.marginHeight = gl.marginWidth = 0;
|
| /sdk/ddms/libs/ddmuilib/src/com/android/ddmuilib/ |
| HeapPanel.java | 321 gl.marginHeight = gl.marginWidth = 0;
339 gl.marginHeight = gl.marginWidth = 0;
365 gl.marginHeight = gl.marginWidth = 0;
377 gl.marginHeight = gl.marginWidth = 0;
390 gl.marginHeight = gl.marginWidth = 0;
409 gl.marginHeight = gl.marginWidth = 0;
422 gl.marginHeight = gl.marginWidth = 0;
[all...] |
| /external/webkit/WebCore/loader/ |
| FrameLoaderClient.h | 221 const String& referrer, bool allowsScrolling, int marginWidth, int marginHeight) = 0;
|
| /external/webkit/WebCore/page/ |
| FrameView.h | 70 int marginWidth() const { return m_margins.width(); } // -1 means default
|
| /external/webkit/WebKit/android/WebCoreSupport/ |
| FrameLoaderClientAndroid.h | 180 const String& referrer, bool allowsScrolling, int marginWidth, int marginHeight);
|
| /external/webkit/WebKit/chromium/src/ |
| FrameLoaderClientImpl.h | 176 int marginWidth, int marginHeight);
|
| /external/webkit/WebKit/gtk/WebCoreSupport/ |
| FrameLoaderClientGtk.h | 115 const WebCore::String& referrer, bool allowsScrolling, int marginWidth, int marginHeight);
|
| /external/webkit/WebKit/mac/WebCoreSupport/ |
| WebFrameLoaderClient.h | 190 const WebCore::String& referrer, bool allowsScrolling, int marginWidth, int marginHeight);
|
| /external/webkit/WebKit/qt/WebCoreSupport/ |
| FrameLoaderClientQt.h | 196 const String& referrer, bool allowsScrolling, int marginWidth, int marginHeight) ;
|
| /sdk/ddms/libs/ddmuilib/src/com/android/ddmuilib/log/event/ |
| EventDisplayOptions.java | 212 gl.marginHeight = gl.marginWidth = 0;
270 gl.marginHeight = gl.marginWidth = 0;
583 gl.marginHeight = gl.marginWidth = 0;
607 gl.marginHeight = gl.marginWidth = 0;
[all...] |
