From 354efc04a60d0dee7f80f8cd5d3dc31b100819d4 Mon Sep 17 00:00:00 2001
From: Marko Mecina <marko.mecina@univie.ac.at>
Date: Thu, 10 Nov 2022 15:20:06 +0100
Subject: [PATCH] in Editor, insert spaces instead of tabs
---
Ccs/editor.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Ccs/editor.py b/Ccs/editor.py
index b14798b..77e85eb 100644
--- a/Ccs/editor.py
+++ b/Ccs/editor.py
@@ -1278,7 +1278,7 @@ class CcsEditor(Gtk.Window):
textview.set_wrap_mode(Gtk.WrapMode.WORD)
- # textview.set_properties(insert_spaces_instead_of_tabs=True)
+ textview.set_properties(insert_spaces_instead_of_tabs=True)
textview.set_properties(show_line_numbers=True)
textview.set_properties(auto_indent=True)
# textview.set_properties(highlight_current_line = True)
--
GitLab