Home
last modified time | relevance | path

Searched refs:editors (Results 1 – 25 of 38) sorted by relevance

12

/plugin/struct/db/
H A Dupdate0014.sql8 editors field
11 …s_temp (id, tbl, ts, islookup, user, comment, editors) SELECT id, tbl, ts, islookup, user, comment…
25 …) SELECT id, tbl, ts, islookup, user, comment, '{"allowed editors":"' || editors || '"}' FROM sche…
H A Dupdate0011.sql1 ALTER TABLE schemas ADD COLUMN editors NOT NULL DEFAULT '';
/plugin/authgooglesheets/vendor/google/apiclient-services/src/Sheets/
DProtectedRange.php67 public function setEditors(Editors $editors) argument
69 $this->editors = $editors;
76 return $this->editors;
/plugin/mizarverifiabledocs/src/
H A Dscript.js165 const editors = (window.editors = window.editors || {}); constant
319 totalLines += editors[mizarId].state.doc.lines;
327 const editor = editors[mizarId];
342 const editor = editors[mizarId];
398 window.editors[mizarId] = editor;
546 const editor = editors[mizarId];
564 let errorContent = editors[mizarId].state.field(errorPanelState) || "";
586 const editorId = Object.keys(editors).find(
587 (key) => editors[key] === editor
598 const editor = editors[editorId];
[all …]
/plugin/sequencediagram/bower_components/lodash/
D.editorconfig1 # This file is for unifying the coding style for different editors and IDEs
/plugin/actickets/
Dplugin.info.txt6 desc Enables the editors to easily link to Active Collab tickets.
/plugin/matrixnotifierwas/vendor/meet-kinksters/php-matrix-sdk/
D.editorconfig1 ; This file is for unifying the coding style for different editors and IDEs.
/plugin/aichat/vendor/mehrab-wj/tiktoken-php/
D.editorconfig1 ; This file is for unifying the coding style for different editors and IDEs.
/plugin/jsoneditor/script/
Djsoneditor.min.js2editors){for(var t=0;t<this.editors.length;t++)this.editors[t]&&this.editors[t].unregister();this. property
/plugin/scrape/vendor/ezyang/htmlpurifier/library/HTMLPurifier/ConfigSchema/schema/
DOutput.TidyFormat.txt11 This can greatly improve readability for editors who are hand-editing
/plugin/lightweightscript/
DREADME4 unneeded scripts parts for non editors. It makes the JS for end users
/plugin/leightweightscript/
DREADME4 unneeded scripts parts for non editors. It makes the JS for end users
/plugin/scrape/vendor/ezyang/htmlpurifier/
DREADME.md19 * See WYSIWYG for information on editors like TinyMCE and FCKeditor
/plugin/ckgdoku/ckeditor/
DREADME.md8 for desktop text editors like Word or OpenOffice, but a component to be used as
DCHANGES.md939 …t generated by the [Table Resize](http://ckeditor.com/addon/tableresize) plugin for inline editors.
1095 …p://dev.ckeditor.com/ticket/10370): Inconsistency in data events between framed and inline editors.
1216 …as making the entire page editable with [divarea](http://ckeditor.com/addon/divarea)-based editors.
/plugin/ckgedit/ckeditor/
DREADME.md8 for desktop text editors like Word or OpenOffice, but a component to be used as
/plugin/lightweightcss/
DREADME4 unneeded scripts parts for non editors. It makes the CSS for end users
/plugin/bb4dw/
Dbibtexbrowser.php1716 $editors = array();
1718 $editors[]=$editor;
1720 return $editors;
1731 $editors = array();
1733 $editors[]=$this->formatAuthor($editor);
1737 return implode($sep, $editors).', '.(count($editors)>1?'eds.':'ed.');
/plugin/adhoctags/
DREADME.md112 …), an open-source, free and very powerful text editor for Windows. Other editors may of course als…
/plugin/asciidocjs/node_modules/commander/
DCHANGELOG.md24 - remove use of `arguments` to improve auto-generated help in editors ([#1235])
/plugin/bibtex/OSBib/format/
DREADME.txt151 …specific resource type. It also handles editor/author switching for books which have only editors.
/plugin/pgn4web/pgn4web/
Dpgn-standard.txt187 file with native text editors. In these cases, an indulgence of sorts is
189 text editors.
281 common text editors with long lines.
/plugin/mizarveifiabledocs/dist/
Dscript.js.map1editors (IMEs), the Enter key is used to\n // confirm character selection. On Safari, when …
/plugin/mizarproofchecker/dist/
Dscript.js.map1editors (IMEs), the Enter key is used to\n // confirm character selection. On Safari, when …
/plugin/yuriigantt/3rd/dhtmlxgantt/sources/
Ddhtmlxgantt.js17394 var textEditorFactory = __webpack_require__(/*! ./editors/text */ "./sources/core/ui/grid/editors/e…
17395 …numberEditorFactory = __webpack_require__(/*! ./editors/number */ "./sources/core/ui/grid/editors/…
17396 …selectEditorFactory = __webpack_require__(/*! ./editors/select */ "./sources/core/ui/grid/editors/…
17397 …dateEditorFactory = __webpack_require__(/*! ./editors/date */ "./sources/core/ui/grid/editors/edit…
17398 …predecessorEditorFactory = __webpack_require__(/*! ./editors/predecessor */ "./sources/core/ui/gri…
17399 …durationEditorFactory = __webpack_require__(/*! ./editors/duration */ "./sources/core/ui/grid/edit…
20316 var gridEditorsFactory = __webpack_require__(/*! ./grid/editors/controller */ "./sources/core/ui/gr…

12