force merge conflict for stream viewers
This commit is contained in:
@ -17,10 +17,13 @@ editor.setSize("100%", "auto");
|
|||||||
|
|
||||||
// Hijack tab key to enter two spaces intead
|
// Hijack tab key to enter two spaces intead
|
||||||
editor.setOption("extraKeys", {
|
editor.setOption("extraKeys", {
|
||||||
Tab: function(cm) {
|
Tab: function(mc) {
|
||||||
var spaces = Array(cm.getOption("indentUnit") + 1).join(" ");
|
var spaces = Array(mc.getOption("indentUnit") + 1).join(" ");
|
||||||
cm.replaceSelection(spaces);
|
mc.replaceSelection(spaces);
|
||||||
},
|
},
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
"Ctrl-Enter": function() {
|
"Ctrl-Enter": function() {
|
||||||
bonfireExecute();
|
bonfireExecute();
|
||||||
return false;
|
return false;
|
||||||
|
Reference in New Issue
Block a user