| /dports/www/gregarius/gregarius/cls/ |
| H A D | header.php | 37 var $docTitle; variable in Header
47 $this -> docTitle = $title;
58 $this -> docTitle = makeTitle($title);
62 $this->docTitle .= " ($uc ".__('unread').")";
|
| /dports/audio/supercollider/SuperCollider-3.11.0-Source/SCClassLibrary/Common/GUI/PlusGUI/Core/ |
| H A D | extGuiHistory.sc | 14 var docTitle = title ++ Date.getDate.format("%Y-%m-%d-%Hh%M-History");
15 Document.new(docTitle, this.storyString)
16 //.path_(docTitle); // path not working yet in Qt
|
| /dports/graphics/inkscape/inkscape-1.1_2021-05-24_c4e8f9ed74/src/ui/dialog/ |
| H A D | filedialog.cpp | 123 const gchar *docTitle, in create() argument
130 … FileSaveDialogImplWin32(parentWindow, path, fileTypes, title, default_key, docTitle, save_method); in create()
132 …ew FileSaveDialogImplGtk(parentWindow, path, fileTypes, title, default_key, docTitle, save_method); in create()
135 …ew FileSaveDialogImplGtk(parentWindow, path, fileTypes, title, default_key, docTitle, save_method); in create()
|
| /dports/www/mediawiki135/mediawiki-1.35.5/extensions/Scribunto/includes/common/ |
| H A D | Scribunto.php | 98 $docTitle = Title::newFromText( $docPage->plain() );
99 if ( !$docTitle ) {
102 $docPage = $docTitle->getPrefixedText();
|
| /dports/www/mediawiki137/mediawiki-1.37.1/extensions/Scribunto/includes/common/ |
| H A D | Scribunto.php | 98 $docTitle = Title::newFromText( $docPage->plain() );
99 if ( !$docTitle ) {
102 $docPage = $docTitle->getPrefixedText();
|
| /dports/www/mediawiki136/mediawiki-1.36.3/extensions/Scribunto/includes/common/ |
| H A D | Scribunto.php | 98 $docTitle = Title::newFromText( $docPage->plain() );
99 if ( !$docTitle ) {
102 $docPage = $docTitle->getPrefixedText();
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/doclets/internal/toolkit/util/ |
| H A D | MetaKeywords.java | 125 public String[] getOverviewMetaKeywords(String title, String docTitle) { in getOverviewMetaKeywords() argument
129 if (docTitle.length() > 0 ) { in getOverviewMetaKeywords()
130 metakeywords[0] += ", " + docTitle; in getOverviewMetaKeywords()
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/doclets/internal/toolkit/util/ |
| H A D | MetaKeywords.java | 125 public String[] getOverviewMetaKeywords(String title, String docTitle) { in getOverviewMetaKeywords() argument
129 if (docTitle.length() > 0 ) { in getOverviewMetaKeywords()
130 metakeywords[0] += ", " + docTitle; in getOverviewMetaKeywords()
|
| /dports/textproc/pdftohtml/pdftohtml-0.40a/src/ |
| H A D | pdftohtml.cc | 107 GString *docTitle = NULL; in main() local
235 docTitle = getInfoString(info.getDict(), "Title"); in main()
244 if( !docTitle ) docTitle = new GString(htmlFileName); in main()
261 docTitle->getCString(), in main()
270 delete docTitle; in main()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/ |
| H A D | MetaKeywords.java | 128 public List<String> getOverviewMetaKeywords(String title, String docTitle) { in getOverviewMetaKeywords() argument
132 if (docTitle.length() > 0) { in getOverviewMetaKeywords()
133 result.add(windowOverview + ", " + docTitle); in getOverviewMetaKeywords()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/ |
| H A D | MetaKeywords.java | 128 public List<String> getOverviewMetaKeywords(String title, String docTitle) { in getOverviewMetaKeywords() argument
132 if (docTitle.length() > 0) { in getOverviewMetaKeywords()
133 result.add(windowOverview + ", " + docTitle); in getOverviewMetaKeywords()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/ |
| H A D | MetaKeywords.java | 128 public List<String> getOverviewMetaKeywords(String title, String docTitle) { in getOverviewMetaKeywords() argument
132 if (docTitle.length() > 0) { in getOverviewMetaKeywords()
133 result.add(windowOverview + ", " + docTitle); in getOverviewMetaKeywords()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/ |
| H A D | MetaKeywords.java | 128 public List<String> getOverviewMetaKeywords(String title, String docTitle) { in getOverviewMetaKeywords() argument
132 if (docTitle.length() > 0) { in getOverviewMetaKeywords()
133 result.add(windowOverview + ", " + docTitle); in getOverviewMetaKeywords()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/ |
| H A D | MetaKeywords.java | 126 public List<String> getOverviewMetaKeywords(String title, String docTitle) { in getOverviewMetaKeywords() argument
130 if (docTitle.length() > 0) { in getOverviewMetaKeywords()
131 result.add(windowOverview + ", " + docTitle); in getOverviewMetaKeywords()
|
| /dports/textproc/source-highlight/source-highlight-3.1.9/lib/srchilite/ |
| H A D | docgenerator.cc | 33 bool docTitle = (title.size () > 0); in generate_start_doc() local
39 ( docTitle ? title : in generate_start_doc()
|
| /dports/devel/emscripten/emscripten-2.0.3/tests/third_party/poppler/utils/ |
| H A D | pdftohtml.cc | 173 GooString *docTitle = NULL; in main() local
324 docTitle = getInfoString(info.getDict(), "Title"); in main()
333 if( !docTitle ) docTitle = new GooString(htmlFileName); in main()
352 delete docTitle; in main()
372 docTitle->getCString(), in main()
381 delete docTitle; in main()
|
| /dports/math/speedcrunch/heldercorreia-speedcrunch-c0fc9c68d292/src/gui/ |
| H A D | manualwindow.cpp | 67 QString docTitle = documentTitle(); in retranslateText() local
68 if (docTitle.isEmpty()) in retranslateText()
71 setWindowTitle(tr("%1 - SpeedCrunch Manual").arg(docTitle)); in retranslateText()
|
| /dports/textproc/htdig/htdig-3.2.0b6/htcommon/ |
| H A D | DocumentRef.h | 56 char *DocTitle() {return docTitle;} in DocTitle()
79 void DocTitle(const char *t) {docTitle = t;} in DocTitle()
125 String docTitle; variable
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/ |
| H A D | MetaKeywords.java | 129 public List<String> getOverviewMetaKeywords(String title, String docTitle) { in getOverviewMetaKeywords() argument
133 if (docTitle.length() > 0) { in getOverviewMetaKeywords()
134 result.add(windowOverview + ", " + docTitle); in getOverviewMetaKeywords()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/ |
| H A D | MetaKeywords.java | 129 public List<String> getOverviewMetaKeywords(String title, String docTitle) { in getOverviewMetaKeywords() argument
133 if (docTitle.length() > 0) { in getOverviewMetaKeywords()
134 result.add(windowOverview + ", " + docTitle); in getOverviewMetaKeywords()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/ |
| H A D | MetaKeywords.java | 129 public List<String> getOverviewMetaKeywords(String title, String docTitle) { in getOverviewMetaKeywords() argument
133 if (docTitle.length() > 0) { in getOverviewMetaKeywords()
134 result.add(windowOverview + ", " + docTitle); in getOverviewMetaKeywords()
|
| /dports/graphics/poppler-glib/poppler-21.12.0/utils/ |
| H A D | pdftohtml.cc | 161 GooString *docTitle = nullptr; in main() local
315 docTitle = getInfoString(info.getDict(), "Title"); in main()
323 if (!docTitle) in main()
324 docTitle = new GooString(htmlFileName); in main()
333 …htmlOut = new HtmlOutputDev(doc->getCatalog(), htmlFileName->c_str(), docTitle->c_str(), author ? … in main()
335 delete docTitle; in main()
|
| /dports/graphics/poppler-qt5/poppler-21.12.0/utils/ |
| H A D | pdftohtml.cc | 161 GooString *docTitle = nullptr; in main() local
315 docTitle = getInfoString(info.getDict(), "Title"); in main()
323 if (!docTitle) in main()
324 docTitle = new GooString(htmlFileName); in main()
333 …htmlOut = new HtmlOutputDev(doc->getCatalog(), htmlFileName->c_str(), docTitle->c_str(), author ? … in main()
335 delete docTitle; in main()
|
| /dports/graphics/poppler-utils/poppler-21.12.0/utils/ |
| H A D | pdftohtml.cc | 161 GooString *docTitle = nullptr; in main() local
315 docTitle = getInfoString(info.getDict(), "Title"); in main()
323 if (!docTitle) in main()
324 docTitle = new GooString(htmlFileName); in main()
333 …htmlOut = new HtmlOutputDev(doc->getCatalog(), htmlFileName->c_str(), docTitle->c_str(), author ? … in main()
335 delete docTitle; in main()
|
| /dports/graphics/poppler/poppler-21.12.0/utils/ |
| H A D | pdftohtml.cc | 161 GooString *docTitle = nullptr; in main() local
315 docTitle = getInfoString(info.getDict(), "Title"); in main()
323 if (!docTitle) in main()
324 docTitle = new GooString(htmlFileName); in main()
333 …htmlOut = new HtmlOutputDev(doc->getCatalog(), htmlFileName->c_str(), docTitle->c_str(), author ? … in main()
335 delete docTitle; in main()
|