Home
last modified time | relevance | path

Searched refs:BORDER_TOP_WIDTH (Results 1 – 25 of 69) sorted by relevance

123

/dports/lang/gcc6-aux/gcc-6-20180516/libjava/classpath/javax/swing/text/html/
H A DCSS.java188 public static final Attribute BORDER_TOP_WIDTH = field in CSS.Attribute
539 else if (att == Attribute.BORDER_WIDTH || att == Attribute.BORDER_TOP_WIDTH in getValue()
720 atts.addAttribute(Attribute.BORDER_TOP_WIDTH, w); in parseBorderShorthand()
H A DCSSBorder.java184 width = getBorderWidth(atts, CSS.Attribute.BORDER_TOP_WIDTH, ss); in CSSBorder()
/dports/lang/gnat_util/gcc-6-20180516/libjava/classpath/javax/swing/text/html/
H A DCSS.java188 public static final Attribute BORDER_TOP_WIDTH = field in CSS.Attribute
539 else if (att == Attribute.BORDER_WIDTH || att == Attribute.BORDER_TOP_WIDTH in getValue()
720 atts.addAttribute(Attribute.BORDER_TOP_WIDTH, w); in parseBorderShorthand()
H A DCSSBorder.java184 width = getBorderWidth(atts, CSS.Attribute.BORDER_TOP_WIDTH, ss); in CSSBorder()
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/libjava/classpath/javax/swing/text/html/
H A DCSS.java188 public static final Attribute BORDER_TOP_WIDTH = field in CSS.Attribute
539 else if (att == Attribute.BORDER_WIDTH || att == Attribute.BORDER_TOP_WIDTH in getValue()
720 atts.addAttribute(Attribute.BORDER_TOP_WIDTH, w); in parseBorderShorthand()
H A DCSSBorder.java184 width = getBorderWidth(atts, CSS.Attribute.BORDER_TOP_WIDTH, ss); in CSSBorder()
/dports/devel/mingw32-gcc/gcc-4.8.1/libjava/classpath/javax/swing/text/html/
H A DCSS.java188 public static final Attribute BORDER_TOP_WIDTH = field in CSS.Attribute
539 else if (att == Attribute.BORDER_WIDTH || att == Attribute.BORDER_TOP_WIDTH in getValue()
720 atts.addAttribute(Attribute.BORDER_TOP_WIDTH, w); in parseBorderShorthand()
H A DCSSBorder.java184 width = getBorderWidth(atts, CSS.Attribute.BORDER_TOP_WIDTH, ss); in CSSBorder()
/dports/lang/gcc48/gcc-4.8.5/libjava/classpath/javax/swing/text/html/
H A DCSS.java188 public static final Attribute BORDER_TOP_WIDTH = field in CSS.Attribute
539 else if (att == Attribute.BORDER_WIDTH || att == Attribute.BORDER_TOP_WIDTH in getValue()
720 atts.addAttribute(Attribute.BORDER_TOP_WIDTH, w); in parseBorderShorthand()
H A DCSSBorder.java184 width = getBorderWidth(atts, CSS.Attribute.BORDER_TOP_WIDTH, ss); in CSSBorder()
/dports/games/fs2open/fs2open.github.com-release_21_4_1/lib/libRocket/Source/Core/
H A DStringCache.h46 extern const String BORDER_TOP_WIDTH;
H A DStringCache.cpp43 const String BORDER_TOP_WIDTH = "border-top-width"; variable
H A DStyleSheetSpecification.cpp172 RegisterProperty(BORDER_TOP_WIDTH, "0px", false, true).AddParser("number"); in RegisterDefaultProperties()
H A DElementStyleCache.cpp177 border_top_width = style->GetProperty(BORDER_TOP_WIDTH); in GetBorderWidthProperties()
/dports/java/sablevm-classpath/sablevm-classpath-1.13/javax/swing/text/html/
H A DCSS.java176 public static final Attribute BORDER_TOP_WIDTH = field in CSS.Attribute
/dports/lang/gcc48/gcc-4.8.5/libjava/javax/swing/text/html/
H A DCSS$Attribute.h52 static ::javax::swing::text::html::CSS$Attribute * BORDER_TOP_WIDTH;
/dports/lang/gnat_util/gcc-6-20180516/libjava/javax/swing/text/html/
H A DCSS$Attribute.h52 static ::javax::swing::text::html::CSS$Attribute * BORDER_TOP_WIDTH;
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/libjava/javax/swing/text/html/
H A DCSS$Attribute.h52 static ::javax::swing::text::html::CSS$Attribute * BORDER_TOP_WIDTH;
/dports/lang/gcc6-aux/gcc-6-20180516/libjava/javax/swing/text/html/
H A DCSS$Attribute.h52 static ::javax::swing::text::html::CSS$Attribute * BORDER_TOP_WIDTH;
/dports/textproc/libcss/libcss-0.9.1/src/parse/
H A Dpropstrings.h49 BORDER_TOP_WIDTH, BORDER_WIDTH, BOTTOM, BOX_SIZING, BREAK_AFTER, enumerator
/dports/devel/mingw32-gcc/gcc-4.8.1/libjava/javax/swing/text/html/
H A DCSS$Attribute.h52 static ::javax::swing::text::html::CSS$Attribute * BORDER_TOP_WIDTH;
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/javax/swing/text/html/
H A DCSSBorder.java68 { Attribute.BORDER_TOP_WIDTH, Attribute.BORDER_RIGHT_WIDTH,
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.desktop/share/classes/javax/swing/text/html/
H A DCSSBorder.java68 { Attribute.BORDER_TOP_WIDTH, Attribute.BORDER_RIGHT_WIDTH,
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/javax/swing/text/html/
H A DCSSBorder.java68 { Attribute.BORDER_TOP_WIDTH, Attribute.BORDER_RIGHT_WIDTH,
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/javax/swing/text/html/
H A DCSSBorder.java67 { Attribute.BORDER_TOP_WIDTH, Attribute.BORDER_RIGHT_WIDTH,

123