Enabled auto-indentation and insertion of spaces instead of tabs.

cyberpython · Jul 7, 2012 · 146e755 · 146e755
1 parent 800d6fe
commit 146e755
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/lingua/ui/gtk/main_window/widgets/Editor.java b/src/lingua/ui/gtk/main_window/widgets/Editor.java
@@ -97,6 +97,9 @@ public boolean onPopupMenu(Widget source) {
                 return true;
             }
         });
+
+        setAutoIndent(true);
+        setInsertSpacesInsteadOfTabs(true);
     }
 
     public void setFont(String fontDescription){