/dports/textproc/highlight/highlight-4.1/src/core/ |
H A D | latexgenerator.cpp | 62 if ( ! this->getBaseFontSize().empty() && this->getBaseFontSize()!="10") in printBody() 63 *out << "\\" << this->getBaseFontSize() << "\n" ; in printBody() 71 if ( ! this->getBaseFontSize().empty() ) in printBody()
|
H A D | svggenerator.cpp | 85 os << "g { font-size: " << getBaseFontSize(); in getStyleDefinition() 188 StringTools::str2num<int> ( fontSize, getBaseFontSize(), std::dec ); in printBody() 251 StringTools::str2num<int> ( fontSize, getBaseFontSize(), std::dec ); in getNewLine()
|
H A D | htmlgenerator.cpp | 124 << "; font-size:" << this->getBaseFontSize() in printBody() 272 << "; font-size:" << this->getBaseFontSize(); in getStyleDefinition() 379 << "; font-size:" << this->getBaseFontSize() in insertLineNumber()
|
H A D | pangogenerator.cpp | 107 StringTools::str2num<int> ( fontSize, this->getBaseFontSize(), std::dec ); in printBody()
|
H A D | rtfgenerator.cpp | 114 StringTools::str2num<int> ( fontSize, this->getBaseFontSize(), std::dec ); in getCharStyle() 217 StringTools::str2num<int> ( fontSize, this->getBaseFontSize(), std::dec ); in printBody()
|
H A D | bbcodegenerator.cpp | 50 *out << "[size="<<getBaseFontSize()<<"]"; in printBody()
|
H A D | odtgenerator.cpp | 53 …t-properties style:font-name=\""<< getBaseFont()<<"\" fo:font-size=\""<<getBaseFontSize()<<"pt\"/>" in getStyleDefinition()
|
H A D | codegenerator.cpp | 437 const string CodeGenerator::getBaseFontSize() in getBaseFontSize() function in highlight::CodeGenerator 1141 options[Diluculum::LuaValue("fontsize")] = Diluculum::LuaValue(getBaseFontSize()); in applyPluginChunk()
|
/dports/textproc/highlight/highlight-4.1/src/cli/ |
H A D | cmdlineoptions.h | 395 const std::string& getBaseFontSize() const ;
|
H A D | main.cpp | 482 generator->setBaseFontSize ( options.getBaseFontSize() ) ; in run()
|
H A D | cmdlineoptions.cpp | 1105 const string& CmdLineOptions::getBaseFontSize() const in getBaseFontSize() function in CmdLineOptions
|
/dports/textproc/highlight/highlight-4.1/src/include/ |
H A D | codegenerator.h | 307 const string getBaseFontSize();
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/javax/swing/text/html/ |
H A D | CSS.java | 779 int getBaseFontSize() { in getBaseFontSize() method in CSS 2109 int baseFontSize = getBaseFontSize(); in parseHtmlValue()
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.desktop/share/classes/javax/swing/text/html/ |
H A D | CSS.java | 779 int getBaseFontSize() { in getBaseFontSize() method in CSS 2122 int baseFontSize = getBaseFontSize(); in parseHtmlValue()
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/javax/swing/text/html/ |
H A D | CSS.java | 779 int getBaseFontSize() { in getBaseFontSize() method in CSS 2109 int baseFontSize = getBaseFontSize(); in parseHtmlValue()
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/javax/swing/text/html/ |
H A D | CSS.java | 582 int getBaseFontSize() { in getBaseFontSize() method in CSS 1900 int baseFontSize = getBaseFontSize(); in parseHtmlValue()
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.desktop/share/classes/javax/swing/text/html/ |
H A D | CSS.java | 779 int getBaseFontSize() { in getBaseFontSize() method in CSS 2122 int baseFontSize = getBaseFontSize(); in parseHtmlValue()
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.desktop/share/classes/javax/swing/text/html/ |
H A D | CSS.java | 780 int getBaseFontSize() { in getBaseFontSize() method in CSS 2138 int baseFontSize = getBaseFontSize(); in parseHtmlValue()
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.desktop/share/classes/javax/swing/text/html/ |
H A D | CSS.java | 779 int getBaseFontSize() { in getBaseFontSize() method in CSS 2109 int baseFontSize = getBaseFontSize(); in parseHtmlValue()
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.desktop/share/classes/javax/swing/text/html/ |
H A D | CSS.java | 779 int getBaseFontSize() { in getBaseFontSize() method in CSS 2122 int baseFontSize = getBaseFontSize(); in parseHtmlValue()
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.desktop/share/classes/javax/swing/text/html/ |
H A D | CSS.java | 779 int getBaseFontSize() { in getBaseFontSize() method in CSS 2122 int baseFontSize = getBaseFontSize(); in parseHtmlValue()
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/javax/swing/text/html/ |
H A D | CSS.java | 582 int getBaseFontSize() { in getBaseFontSize() method in CSS 1900 int baseFontSize = getBaseFontSize(); in parseHtmlValue()
|