| /dports/math/scilab/scilab-6.1.1/scilab/modules/gui/tests/unit_tests/ |
| H A D | border.tst | 29 //etched
30 l($+1) = createBorder("etched");
31 l($+1) = createBorder("etched", "raised");
32 l($+1) = createBorder("etched", "blue", "red");
33 l($+1) = createBorder("etched", "lowered", "blue", "red");
42 l($+1) = createBorder("titled", createBorder("etched"), "title", "left", "top", font2, "blue");
45 l($+1) = createBorder("compound", createBorder("empty"), createBorder("etched"));
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/javax/swing/plaf/ |
| H A D | BorderUIResource.java | 65 static Border etched; field in BorderUIResource
75 if (etched == null) { in getEtchedBorderUIResource()
76 etched = new EtchedBorderUIResource(); in getEtchedBorderUIResource()
78 return etched; in getEtchedBorderUIResource()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.desktop/share/classes/javax/swing/plaf/ |
| H A D | BorderUIResource.java | 65 static Border etched; field in BorderUIResource
75 if (etched == null) { in getEtchedBorderUIResource()
76 etched = new EtchedBorderUIResource(); in getEtchedBorderUIResource()
78 return etched; in getEtchedBorderUIResource()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/javax/swing/plaf/ |
| H A D | BorderUIResource.java | 65 static Border etched; field in BorderUIResource
75 if (etched == null) { in getEtchedBorderUIResource()
76 etched = new EtchedBorderUIResource(); in getEtchedBorderUIResource()
78 return etched; in getEtchedBorderUIResource()
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/javax/swing/plaf/ |
| H A D | BorderUIResource.java | 64 static Border etched; field in BorderUIResource
70 if (etched == null) { in getEtchedBorderUIResource()
71 etched = new EtchedBorderUIResource(); in getEtchedBorderUIResource()
73 return etched; in getEtchedBorderUIResource()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.desktop/share/classes/javax/swing/plaf/ |
| H A D | BorderUIResource.java | 65 static Border etched; field in BorderUIResource
75 if (etched == null) { in getEtchedBorderUIResource()
76 etched = new EtchedBorderUIResource(); in getEtchedBorderUIResource()
78 return etched; in getEtchedBorderUIResource()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.desktop/share/classes/javax/swing/plaf/ |
| H A D | BorderUIResource.java | 65 static Border etched; field in BorderUIResource
75 if (etched == null) { in getEtchedBorderUIResource()
76 etched = new EtchedBorderUIResource(); in getEtchedBorderUIResource()
78 return etched; in getEtchedBorderUIResource()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.desktop/share/classes/javax/swing/plaf/ |
| H A D | BorderUIResource.java | 65 static Border etched; field in BorderUIResource
75 if (etched == null) { in getEtchedBorderUIResource()
76 etched = new EtchedBorderUIResource(); in getEtchedBorderUIResource()
78 return etched; in getEtchedBorderUIResource()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.desktop/share/classes/javax/swing/plaf/ |
| H A D | BorderUIResource.java | 65 static Border etched; field in BorderUIResource
75 if (etched == null) { in getEtchedBorderUIResource()
76 etched = new EtchedBorderUIResource(); in getEtchedBorderUIResource()
78 return etched; in getEtchedBorderUIResource()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.desktop/share/classes/javax/swing/plaf/ |
| H A D | BorderUIResource.java | 65 static Border etched; field in BorderUIResource
75 if (etched == null) { in getEtchedBorderUIResource()
76 etched = new EtchedBorderUIResource(); in getEtchedBorderUIResource()
78 return etched; in getEtchedBorderUIResource()
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/javax/swing/plaf/ |
| H A D | BorderUIResource.java | 64 static Border etched; field in BorderUIResource
70 if (etched == null) { in getEtchedBorderUIResource()
71 etched = new EtchedBorderUIResource(); in getEtchedBorderUIResource()
73 return etched; in getEtchedBorderUIResource()
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/com/sun/tools/example/debug/gui/ |
| H A D | LaunchTool.java | 65 Border etched = BorderFactory.createEtchedBorder(); in ArgRep() local
66 Border titled = BorderFactory.createTitledBorder(etched, in ArgRep()
184 Border etched = BorderFactory.createEtchedBorder(); in configureAndConnect() local
185 BorderFactory.createTitledBorder(etched, in configureAndConnect()
188 guts.setBorder(etched); in configureAndConnect()
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/com/sun/tools/example/debug/gui/ |
| H A D | LaunchTool.java | 65 Border etched = BorderFactory.createEtchedBorder(); in ArgRep() local
66 Border titled = BorderFactory.createTitledBorder(etched, in ArgRep()
184 Border etched = BorderFactory.createEtchedBorder(); in configureAndConnect() local
185 BorderFactory.createTitledBorder(etched, in configureAndConnect()
188 guts.setBorder(etched); in configureAndConnect()
|
| /dports/x11-toolkits/p5-Gtk2/Gtk2-1.24993/t/ |
| H A D | GtkHandleBox.t | 18 $hb->set_shadow_type('etched-in');
19 ok( $hb->get_shadow_type eq 'etched-in' );
|
| /dports/x11-toolkits/guile-gnome-platform/guile-gnome-platform-2.16.5/gtk/doc/gtk/ |
| H A D | section-gtkarrow.xml.texi | 11 be one of shadow in, shadow out, etched in, or etched out. Note that these
|
| /dports/x11-themes/gtk-lila-theme-extras/lila-gtk-extras/Lila-Smooth/gtk-2.0/ |
| H A D | gtkrc | 109 etched=FALSE
192 etched=FALSE
235 etched=FALSE
|
| /dports/math/scilab/scilab-6.1.1/scilab/modules/gui/demos/ |
| H A D | usedeprecatedskin.dem.sce | 11 … fr1 = uicontrol("style", "frame", "position", [10 10 220 410], "border", createBorder("etched"));
27 … fr1 = uicontrol("style", "frame", "position", [10 10 220 410], "border", createBorder("etched"));
|
| /dports/games/freeciv-nox11/freeciv-2.6.6/data/themes/gui-gtk-2.0/Freeciv/gtk-2.0/Shadows/ |
| H A D | Makefile.am | 8 shadow-etched-out.png \
|
| /dports/games/freeciv/freeciv-2.6.6/data/themes/gui-gtk-2.0/Freeciv/gtk-2.0/Shadows/ |
| H A D | Makefile.am | 8 shadow-etched-out.png \
|
| /dports/x11-themes/gtk-lila-theme-extras/lila-gtk-extras/Plush/gtk-2.0/ |
| H A D | gtkrc | 143 etched=FALSE
234 etched=FALSE
285 etched=FALSE
|
| /dports/x11-themes/gtk-lila-theme-extras/lila-gtk-extras/Kuala/gtk-2.0/ |
| H A D | gtkrc | 15 GtkMenuItem::selected_shadow_type = etched-in
24 GtkSpinButton::shadow_type = etched-in
144 etched=FALSE
|
| /dports/graphics/mtpaint/mtPaint-4ea607e/gtk/ |
| H A D | gtkrc | 12 GtkHandleBox::shadow-type = etched-in
|
| /dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/gtk-0.15.5/Graphics/UI/Gtk/Misc/ |
| H A D | Arrow.chs | 33 -- arrow can be one of shadow in, shadow out, etched in, or etched out. Note
|
| /dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/gtk3-0.15.5/Graphics/UI/Gtk/Misc/ |
| H A D | Arrow.chs | 33 -- arrow can be one of shadow in, shadow out, etched in, or etched out. Note
|
| /dports/games/stendhal/stendhal-1.35/src/games/stendhal/client/gui/ |
| H A D | SettingsPanel.java | 138 private Icon createArrowIcon(boolean etched) { in createArrowIcon() argument
151 if (etched) { in createArrowIcon()
|