Searched refs:tool (Results 1 – 25 of 156) sorted by relevance
1234567
63 background: __background__ url(images/tool-edit.png) 2px 1px no-repeat;68 background: __background__ url(images/tool-revisions.png) 2px 1px no-repeat;73 background: __background__ url(images/tool-odt.png) 2px 1px no-repeat;78 background: __background__ url(images/tool-pdf.png) 2px 1px no-repeat;87 background: __background__ url(images/tool-subscribe.png) 2px 2px no-repeat;93 background: __background__ url(images/tool-source.png) 2px 2px no-repeat;253 background: transparent url(images/tool-login.png) 0px 1px no-repeat;258 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;263 background: transparent url(images/tool-index.png) 1px 1px no-repeat;268 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;[all …]
26 You use the ANTLR4 "tool" to generate a parser. These will reference the ANTLR 29 Suppose you're using a UNIX system and have set up an alias for the ANTLR4 tool 37 For a full list of antlr4 tool options, please visit the 38 [tool documentation page](https://github.com/antlr/antlr4/blob/master/doc/tool-options.md).53 Another common option to the ANTLR tool is `-visitor`, which generates a parse 54 tree visitor, but we won't be doing that here. For a full list of antlr4 tool 55 options, please visit the [tool documentation page](tool-options.md).
6 Place the file extension in the Key column and the convert tool in the right.7 When a file with the specific extension is found the according tool will be used.9 DocSearch needs to tell the convert tool the path of the file to convert and the target to place th…
517 var tool = tools[i];518 if (all || ids.includes(tool.id)) {519 tool.enabled = true;561 var tool = tools[i];564 panelButton.textContent = tool.name;573 tool.panel = panel;574 tool.manager = this;575 if (tool.enabled) {576 tool.init(pdfjsLib);578 panel.textContent = tool.name + ' is disabled. To enable add ' +[all …]
3 …ocks. This is done by clicking the ckgedit's select-all tool and then clicking the unformat tool. …
1 This tool allows you to backup your page and meta data, as well as configuration for the wiki, temp…3 The tool will create a [[wp>tar_(file format)|tar]] archive, compressed with either [[wp>bzip2]] or…
1 <div id="page-tool" class="d-print-none">
1 This [[doku>serverinfos|tool]] allow you to know things about your Dokuwiki’s server
1 The code in this plugin has been adapted for the footnote tool in fckgLite.
9 Files can be uploaded from either the image tool or the link tool. In each case, the upload
6 desc The DokuWiki Developer's tool
6 desc Integrate a feedback tool into DokuWiki
6 desc A tool to backup your data and configuration.
13 This tool allows you to easily create backups of your [DokuWiki](http://dokuwiki.org/) data and oth…15 The tool will create a [tar](https://en.wikipedia.org/wiki/Tar_(computing)) archive, and optionally…
3 This tool allows you to synchronize the contents of your wiki with other wikis. Multiple other wiki…
3 This tool lets you check a text for spam blocked by the wiki's [[doku>blacklist]] feature. It will …
32 .dmn-icon-lasso-tool:before { content: '\e81e'; } /* '' */40 .dmn-icon-hand-tool:before { content: '\e8c1'; } /* '' */
6 desc A tool for monitoring and blocking bot traffic to your wiki (under development)
75 /* make wiki links look the same as tool links in tool bars */92 /* highlight selected tool */
7 desc Use DokuWiki as blogging tool. (previous authors: Esther Brunner)
6 desc JavaScript based diagramming and charting tool that renders Markdown-inspired text definitio…
3 This tool exports all pages in the current namespace (and below). Mediafiles like images or documen…
3 This tool lets you explode a csv file into multiple DokuWiki pages (one page per CSV line). After r…
6 …t follow bible verse chapters and numbers syntax in order to display Indonesian bible as a tool tip
6 desc This plugin creates graphs from RRD tool data. It allowes binding values within SVG files to…