add whitespace addon
This commit is contained in:
parent
cf8aaa43fa
commit
84b130acdb
2 changed files with 222 additions and 0 deletions
|
|
@ -52,6 +52,8 @@ var Renderer = require("ace/virtual_renderer").VirtualRenderer;
|
|||
var Editor = require("ace/editor").Editor;
|
||||
var MultiSelect = require("ace/multi_select").MultiSelect;
|
||||
|
||||
var whitespace = require("ace/ext/whitespace");
|
||||
|
||||
var doclist = require("./doclist");
|
||||
var modelist = require("./modelist");
|
||||
var layout = require("./layout");
|
||||
|
|
@ -148,6 +150,9 @@ env.editor.commands.addCommands([{
|
|||
readOnly: true
|
||||
}]);
|
||||
|
||||
|
||||
env.editor.commands.addCommands(whitespace.commands);
|
||||
|
||||
cmdLine.commands.bindKeys({
|
||||
"Shift-Return|Ctrl-Return|Alt-Return": function(cmdLine) { cmdLine.insert("\n"); },
|
||||
"Esc|Shift-Esc": function(cmdLine){ cmdLine.editor.focus(); },
|
||||
|
|
@ -231,6 +236,7 @@ bindDropdown("doc", function(name) {
|
|||
if (!session)
|
||||
return;
|
||||
session = env.split.setSession(session);
|
||||
whitespace.detectIndentation(session);
|
||||
updateUIEditorOptions();
|
||||
env.editor.focus();
|
||||
});
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue