pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-12-26 16:14:16 +03:00
Code Issues Packages Projects Releases Wiki Activity

2 spaces

Browse Source
This commit is contained in:
Chris Wanstrath 2011-08-18 23:35:10 -07:00
parent 97d079bd8f
commit 3529b7e133
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
HTML/atomicity.coffee
View File

@ -4,6 +4,8 @@ editor = ace.edit "editor"
editor.setTheme "ace/theme/twilight" editor.setTheme "ace/theme/twilight"
JavaScriptMode = require("ace/mode/javascript").Mode JavaScriptMode = require("ace/mode/javascript").Mode
editor.getSession().setMode new JavaScriptMode editor.getSession().setMode new JavaScriptMode
editor.getSession().setUseSoftTabs true
editor.getSession().setTabSize 2
filename = null filename = null
save = -> save = ->

2
HTML/atomicity.js
View File

@ -5,6 +5,8 @@
editor.setTheme("ace/theme/twilight"); editor.setTheme("ace/theme/twilight");
JavaScriptMode = require("ace/mode/javascript").Mode; JavaScriptMode = require("ace/mode/javascript").Mode;
editor.getSession().setMode(new JavaScriptMode); editor.getSession().setMode(new JavaScriptMode);
editor.getSession().setUseSoftTabs(true);
editor.getSession().setTabSize(2);
filename = null; filename = null;
save = function() { save = function() {
var str; var str;