| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | FrameView.java | 170 String marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINWIDTH); in setMargin() local
176 if (marginStr != null) { in setMargin()
177 margin = Integer.parseInt(marginStr); in setMargin()
184 marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINHEIGHT); in setMargin()
185 if (marginStr != null) { in setMargin()
186 margin = Integer.parseInt(marginStr); in setMargin()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | FrameView.java | 170 String marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINWIDTH); in setMargin() local
176 if (marginStr != null) { in setMargin()
177 margin = Integer.parseInt(marginStr); in setMargin()
184 marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINHEIGHT); in setMargin()
185 if (marginStr != null) { in setMargin()
186 margin = Integer.parseInt(marginStr); in setMargin()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | FrameView.java | 170 String marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINWIDTH); in setMargin() local
176 if (marginStr != null) { in setMargin()
177 margin = Integer.parseInt(marginStr); in setMargin()
184 marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINHEIGHT); in setMargin()
185 if (marginStr != null) { in setMargin()
186 margin = Integer.parseInt(marginStr); in setMargin()
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/javax/swing/text/html/ |
| H A D | FrameView.java | 171 String marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINWIDTH); in setMargin() local
177 if (marginStr != null) { in setMargin()
178 margin = Integer.parseInt(marginStr); in setMargin()
185 marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINHEIGHT); in setMargin()
186 if (marginStr != null) { in setMargin()
187 margin = Integer.parseInt(marginStr); in setMargin()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | FrameView.java | 170 String marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINWIDTH); in setMargin() local
176 if (marginStr != null) { in setMargin()
177 margin = Integer.parseInt(marginStr); in setMargin()
184 marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINHEIGHT); in setMargin()
185 if (marginStr != null) { in setMargin()
186 margin = Integer.parseInt(marginStr); in setMargin()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | FrameView.java | 170 String marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINWIDTH); in setMargin() local
176 if (marginStr != null) { in setMargin()
177 margin = Integer.parseInt(marginStr); in setMargin()
184 marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINHEIGHT); in setMargin()
185 if (marginStr != null) { in setMargin()
186 margin = Integer.parseInt(marginStr); in setMargin()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | FrameView.java | 170 String marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINWIDTH); in setMargin() local
176 if (marginStr != null) { in setMargin()
177 margin = Integer.parseInt(marginStr); in setMargin()
184 marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINHEIGHT); in setMargin()
185 if (marginStr != null) { in setMargin()
186 margin = Integer.parseInt(marginStr); in setMargin()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | FrameView.java | 170 String marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINWIDTH); in setMargin() local
176 if (marginStr != null) { in setMargin()
177 margin = Integer.parseInt(marginStr); in setMargin()
184 marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINHEIGHT); in setMargin()
185 if (marginStr != null) { in setMargin()
186 margin = Integer.parseInt(marginStr); in setMargin()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.desktop/share/classes/javax/swing/text/html/ |
| H A D | FrameView.java | 170 String marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINWIDTH); in setMargin() local
176 if (marginStr != null) { in setMargin()
177 margin = Integer.parseInt(marginStr); in setMargin()
184 marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINHEIGHT); in setMargin()
185 if (marginStr != null) { in setMargin()
186 margin = Integer.parseInt(marginStr); in setMargin()
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/javax/swing/text/html/ |
| H A D | FrameView.java | 171 String marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINWIDTH); in setMargin() local
177 if (marginStr != null) { in setMargin()
178 margin = Integer.parseInt(marginStr); in setMargin()
185 marginStr = (String)attributes.getAttribute(HTML.Attribute.MARGINHEIGHT); in setMargin()
186 if (marginStr != null) { in setMargin()
187 margin = Integer.parseInt(marginStr); in setMargin()
|
| /dports/www/firefox-legacy/firefox-52.8.0esr/dom/base/ |
| H A D | nsContentUtils.cpp | 1698 nsAutoString marginStr(aString); in ParseIntMarginValue() local
1699 marginStr.CompressWhitespace(true, true); in ParseIntMarginValue()
1700 if (marginStr.IsEmpty()) { in ParseIntMarginValue()
1706 if ((uint32_t)end >= marginStr.Length()) in ParseIntMarginValue()
1711 end = Substring(marginStr, start).FindChar(','); in ParseIntMarginValue()
1713 end = Substring(marginStr, start).Length(); in ParseIntMarginValue()
1719 int32_t val = nsString(Substring(marginStr, start, end)).ToInteger(&ec); in ParseIntMarginValue()
|
| /dports/www/firefox-esr/firefox-91.8.0/dom/base/ |
| H A D | nsContentUtils.cpp | 1729 nsAutoString marginStr(aString); in ParseIntMarginValue() local
1730 marginStr.CompressWhitespace(true, true); in ParseIntMarginValue()
1731 if (marginStr.IsEmpty()) { in ParseIntMarginValue()
1737 if ((uint32_t)end >= marginStr.Length()) return false; in ParseIntMarginValue()
1741 end = Substring(marginStr, start).FindChar(','); in ParseIntMarginValue()
1743 end = Substring(marginStr, start).Length(); in ParseIntMarginValue()
1748 int32_t val = nsString(Substring(marginStr, start, end)).ToInteger(&ec); in ParseIntMarginValue()
|
| /dports/lang/spidermonkey78/firefox-78.9.0/dom/base/ |
| H A D | nsContentUtils.cpp | 1590 nsAutoString marginStr(aString); in ParseIntMarginValue() local
1591 marginStr.CompressWhitespace(true, true); in ParseIntMarginValue()
1592 if (marginStr.IsEmpty()) { in ParseIntMarginValue()
1598 if ((uint32_t)end >= marginStr.Length()) return false; in ParseIntMarginValue()
1602 end = Substring(marginStr, start).FindChar(','); in ParseIntMarginValue()
1604 end = Substring(marginStr, start).Length(); in ParseIntMarginValue()
1609 int32_t val = nsString(Substring(marginStr, start, end)).ToInteger(&ec); in ParseIntMarginValue()
|
| /dports/www/firefox/firefox-99.0/dom/base/ |
| H A D | nsContentUtils.cpp | 1697 nsAutoString marginStr(aString); in ParseIntMarginValue() local
1698 marginStr.CompressWhitespace(true, true); in ParseIntMarginValue()
1699 if (marginStr.IsEmpty()) { in ParseIntMarginValue()
1705 if ((uint32_t)end >= marginStr.Length()) return false; in ParseIntMarginValue()
1709 end = Substring(marginStr, start).FindChar(','); in ParseIntMarginValue()
1711 end = Substring(marginStr, start).Length(); in ParseIntMarginValue()
1716 int32_t val = nsString(Substring(marginStr, start, end)).ToInteger(&ec); in ParseIntMarginValue()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/dom/base/ |
| H A D | nsContentUtils.cpp | 1729 nsAutoString marginStr(aString); in ParseIntMarginValue() local
1730 marginStr.CompressWhitespace(true, true); in ParseIntMarginValue()
1731 if (marginStr.IsEmpty()) { in ParseIntMarginValue()
1737 if ((uint32_t)end >= marginStr.Length()) return false; in ParseIntMarginValue()
1741 end = Substring(marginStr, start).FindChar(','); in ParseIntMarginValue()
1743 end = Substring(marginStr, start).Length(); in ParseIntMarginValue()
1748 int32_t val = nsString(Substring(marginStr, start, end)).ToInteger(&ec); in ParseIntMarginValue()
|
| /dports/lang/spidermonkey60/firefox-60.9.0/dom/base/ |
| H A D | nsContentUtils.cpp | 1778 nsAutoString marginStr(aString); in ParseIntMarginValue() local
1779 marginStr.CompressWhitespace(true, true); in ParseIntMarginValue()
1780 if (marginStr.IsEmpty()) { in ParseIntMarginValue()
1786 if ((uint32_t)end >= marginStr.Length()) return false; in ParseIntMarginValue()
1790 end = Substring(marginStr, start).FindChar(','); in ParseIntMarginValue()
1792 end = Substring(marginStr, start).Length(); in ParseIntMarginValue()
1797 int32_t val = nsString(Substring(marginStr, start, end)).ToInteger(&ec); in ParseIntMarginValue()
|
| /dports/editors/nedit/nedit-5.7/source/ |
| H A D | preferences.c | 2795 char marginStr[25]; in wrapOKCB() local
2796 sprintf(marginStr, "%d", margin); in wrapOKCB()
2797 params[0] = marginStr; in wrapOKCB()
|