| .. |
|
editor
|
a845205f68
Docs: Added ConfigOptions interface so we can list configuration options. [skip ci]
|
8 ani în urmă |
|
command.js
|
e7445d9169
Some related and unrelated API docs improvements. [skip ci]
|
8 ani în urmă |
|
commandcollection.js
|
90f2641c65
Docs: Fixed a link.
|
8 ani în urmă |
|
editingkeystrokehandler.js
|
7c1d584e99
Minor documentation fixes and aligned keystrokes notation to the standard.
|
8 ani în urmă |
|
plugin.js
|
10545e9f44
Updated PluginInterface.pluginName documentation.
|
8 ani în urmă |
|
plugincollection.js
|
c104f2d5f2
Fixed the usage of log.warn().
|
8 ani în urmă |