equal
deleted
inserted
replaced
871 self.SetMarginType(1, wxSTC_MARGIN_NUMBER) |
871 self.SetMarginType(1, wxSTC_MARGIN_NUMBER) |
872 self.SetMarginWidth(1, 50) |
872 self.SetMarginWidth(1, 50) |
873 |
873 |
874 # Indentation size |
874 # Indentation size |
875 self.SetTabWidth(2) |
875 self.SetTabWidth(2) |
|
876 self.SetUseTabs(0) |
876 |
877 |
877 self.Keywords = [] |
878 self.Keywords = [] |
878 self.Variables = [] |
879 self.Variables = [] |
879 self.Functions = [] |
880 self.Functions = [] |
880 self.Jumps = [] |
881 self.Jumps = [] |