| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.forms/src/org/eclipse/ui/internal/forms/widgets/ |
| H A D | FormImages.java | 85 int realtheight, int theight, int marginHeight) { in SimpleImageDescriptor()
254 SimpleSectionImageDescriptor(Color[] colors, int realtheight, int theight, int marginHeight) { in SimpleSectionImageDescriptor()
304 int marginHeight) { in SimpleSectionGradientImageDescriptor()
329 …getSectionGradientImage(Color color1, Color color2, int realtheight, int theight, int marginHeight, in getSectionGradientImage()
339 int realtheight, int theight, int marginHeight, Display display) { in getGradient()
|
| /dports/net-p2p/vuze/vuze-5.7.4.0_2/org/gudy/azureus2/ui/swt/views/tableitems/mytorrents/ |
| H A D | CompletionItem.java | 66 private int marginHeight = -1; field in CompletionItem
87 public CompletionItem(String sTableID, int marginHeight) { in CompletionItem()
|
| H A D | PiecesItem.java | 70 private int marginHeight = -1; field in PiecesItem
90 public PiecesItem(String sTableID, int marginHeight) { in PiecesItem()
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/webkit/Source/WebCore/rendering/ |
| H A D | RenderFrame.cpp | 54 int marginHeight = element->marginHeight(); in viewCleared() local
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/webkit/Source/WebKit/qt/Api/ |
| H A D | qwebframe_p.h | 72 int marginHeight; variable
137 int marginHeight; variable
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/webkit/Source/WebCore/html/ |
| H A D | HTMLFrameElementBase.h | 40 int marginHeight() const { return m_marginHeight; } in marginHeight() function
|
| /dports/x11-toolkits/lesstif/lesstif-0.95.2/test/Xm/rowcolumn/ |
| H A D | test28.c | 19 Dimension marginHeight; member
35 Dimension marginHeight; in PrintDetails() local
|
| H A D | test27.c | 19 Dimension marginHeight; member
35 Dimension marginHeight; in PrintDetails() local
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.swt/bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/ |
| H A D | StackLayout.java | 87 public int marginHeight = 0; field in StackLayout
|
| /dports/x11-toolkits/swt/swt-4.20/org/eclipse/swt/custom/ |
| H A D | StackLayout.java | 87 public int marginHeight = 0; field in StackLayout
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.xml.dom/share/classes/org/w3c/dom/html/ |
| H A D | HTMLFrameElement.java | 72 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/libjava/classpath/external/w3c_dom/org/w3c/dom/html2/ |
| H A D | HTMLFrameElement.java | 53 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/lang/gcc48/gcc-4.8.5/libjava/classpath/external/w3c_dom/org/w3c/dom/html2/ |
| H A D | HTMLFrameElement.java | 53 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.xml.dom/share/classes/org/w3c/dom/html/ |
| H A D | HTMLFrameElement.java | 72 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/libjava/classpath/external/w3c_dom/org/w3c/dom/html2/ |
| H A D | HTMLFrameElement.java | 53 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/lang/gnat_util/gcc-6-20180516/libjava/classpath/external/w3c_dom/org/w3c/dom/html2/ |
| H A D | HTMLFrameElement.java | 53 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.xml.dom/share/classes/org/w3c/dom/html/ |
| H A D | HTMLFrameElement.java | 72 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.xml.dom/share/classes/org/w3c/dom/html/ |
| H A D | HTMLFrameElement.java | 72 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.xml.dom/share/classes/org/w3c/dom/html/ |
| H A D | HTMLFrameElement.java | 72 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.xml.dom/share/classes/org/w3c/dom/html/ |
| H A D | HTMLFrameElement.java | 72 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/libjava/classpath/external/w3c_dom/org/w3c/dom/html2/ |
| H A D | HTMLFrameElement.java | 53 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.xml.dom/share/classes/org/w3c/dom/html/ |
| H A D | HTMLFrameElement.java | 72 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/java/sablevm-classpath/sablevm-classpath-1.13/external/w3c_dom/org/w3c/dom/html2/ |
| H A D | HTMLFrameElement.java | 53 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.xml.dom/share/classes/org/w3c/dom/html/ |
| H A D | HTMLFrameElement.java | 72 public void setMarginHeight(String marginHeight); in setMarginHeight()
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jaxp/src/org/w3c/dom/html/ |
| H A D | HTMLFrameElement.java | 70 public void setMarginHeight(String marginHeight); in setMarginHeight()
|