| /sdk/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/repository/sdkman1/ |
| SdkUpdaterWindowImpl1.java | 147 glShell.marginHeight = 0;
|
| /development/tools/glesv2debugger/src/com/android/glesv2debugger/ |
| SampleView.java | 377 int marginHeight = client.height - rect.height;
378 if (marginHeight > 0) {
379 gc.fillRectangle(0, rect.height, client.width, marginHeight);
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.gldebugger/src/com/android/ide/eclipse/gldebugger/ |
| GLFramesView.java | 326 int marginHeight = client.height - rect.height;
327 if (marginHeight > 0) {
328 gc.fillRectangle(0, rect.height, client.width, marginHeight);
|
| /sdk/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/widgets/ |
| AvdSelector.java | 226 gl.marginHeight = gl.marginWidth = 0;
246 gl.marginHeight = gl.marginWidth = 0;
349 gl.marginHeight = gl.marginWidth = 0;
[all...] |
| AvdCreationDialog.java | 471 gl.marginHeight = gl.marginWidth = 0;
527 gl.marginHeight = gl.marginWidth = 0;
[all...] |
| /external/webkit/Source/WebKit/qt/Api/ |
| qwebframe.cpp | 227 , marginHeight(0)
244 marginHeight = frameData->marginHeight;
[all...] |
| /external/webkit/Source/WebKit/qt/WebCoreSupport/ |
| FrameLoaderClientQt.cpp | [all...] |
| /sdk/ddms/libs/ddmuilib/src/com/android/ddmuilib/log/event/ |
| DisplayLog.java | 248 gl.marginHeight = gl.marginWidth = 0;
|
| EventValueSelector.java | 333 gl.marginHeight = gl.marginWidth = 0;
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/configuration/ |
| ConfigEditDialog.java | 281 gl.marginHeight = gl.marginWidth = 0;
|
| ConfigManagerDialog.java | 276 gl.marginHeight = gl.marginWidth = 0;
|
| ConfigurationComposite.java | 410 gl.marginWidth = gl.marginHeight = 0;
461 gl.marginHeight = 0;
[all...] |
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/uimodel/ |
| UiResourceAttributeNode.java | 103 gl.marginHeight = gl.marginWidth = 0;
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/launch/ |
| EmulatorConfigTab.java | 190 layout.marginRight = layout.marginHeight = 0;
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.traceview/src/com/android/ide/eclipse/traceview/editors/ |
| TraceviewEditor.java | 277 gridLayout.marginHeight = 0;
|
| /external/chromium/chrome/browser/resources/ntp/ |
| apps.js | 400 var marginHeight = 10;
407 height: height + marginHeight + borderHeight
|
| /external/webkit/Source/WebCore/page/ |
| FrameView.cpp | 298 int marginHeight = frameElt->marginHeight();
301 if (marginHeight != -1)
302 setMarginHeight(marginHeight);
[all...] |
| /external/webkit/Source/WebKit/efl/WebCoreSupport/ |
| FrameLoaderClientEfl.cpp | 340 PassRefPtr<Frame> FrameLoaderClientEfl::createFrame(const KURL& url, const String& name, HTMLFrameOwnerElement* ownerElement, const String& referrer, bool allowsScrolling, int marginWidth, int marginHeight)
|
| /external/webkit/Source/WebKit/haiku/WebCoreSupport/ |
| FrameLoaderClientHaiku.cpp | 720 int marginWidth, int marginHeight)
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/manifest/model/ |
| UiClassAttributeNode.java | 264 gl.marginHeight = gl.marginWidth = 0;
|
| /sdk/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/repository/ |
| SdkUpdaterChooserDialog.java | 246 layout.marginHeight = convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_MARGIN);
|
| /sdk/ddms/libs/ddmuilib/src/com/android/ddmuilib/ |
| NativeHeapPanel.java | 495 gl.marginWidth = gl.marginHeight = 0;
528 gl.marginWidth = gl.marginHeight = 0;
[all...] |
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/assetstudio/ |
| ConfigureAssetSetPage.java | 172 glContainer.marginHeight = 0;
186 glConfigurationArea.marginHeight = 0;
[all...] |
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle2/ |
| GraphicalEditorPart.java | 296 gl.marginHeight = gl.marginWidth = 0;
339 gridLayout.marginHeight = 0;
[all...] |
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/ui/ |
| ConfigurationSelector.java | 247 gl.marginWidth = gl.marginHeight = 0;
296 gl.marginWidth = gl.marginHeight = 0;
[all...] |
