use tab instead of soft tab

Hi @prasmussen, this is related to glotcode/glot#5. I propose this change to make tabs tabs, instead of 4 spaces, but it is up to you. Hard tabs makes it easier to write makefiles.
steinwaywhw · Sep 8, 2016 · 658674f · 658674f
1 parent cd54a8b
commit 658674f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/templates/widgets/editor.julius b/templates/widgets/editor.julius
@@ -9,6 +9,7 @@ window.Editor = (function() {
  editor.setTheme(theme);
  editor.setKeyboardHandler(keybindings);
  editor.getSession().setMode(#{toJSON $ languageAceMode lang});
+ editor.getSession().setUseSoftTabs(false);
  editor.setOptions({
  minLines: lineCount,
  maxLines: lineCount,