]> granicus.if.org Git - python/commitdiff
remove tabwidth (for tabs) config stuff,
authorSteven M. Gava <elguavas@python.net>
Tue, 12 Mar 2002 00:52:42 +0000 (00:52 +0000)
committerSteven M. Gava <elguavas@python.net>
Tue, 12 Mar 2002 00:52:42 +0000 (00:52 +0000)
because of the way the tk text widget handles
tabs they must remain a fixed size in idle

Lib/idlelib/config-main.def
Lib/idlelib/configDialog.py

index 6e2121952466f2004845c4ceae51689eae11e73c..9cd58fbe97c15bdf4e1b16088cf9d02063dbe27c 100644 (file)
@@ -41,7 +41,6 @@ font-bold= 0
 [Indent]
 use-spaces= 1
 num-spaces= 4
-tab-cols= 4
 
 [Theme]
 default= 1  
index 8367fe2c217ab847ee7a602fd48619b0dd3f42e4..53f3e1a245a265cb27da007bda7d1df85e9ba672 100644 (file)
@@ -125,13 +125,13 @@ class ConfigDialog(Toplevel):
         labelIndentSizeTitle=Label(frameIndentSize,
                 text='Choose indentation size :')
         labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT,
-                text='when tab key inserts spaces,\nspaces per tab')
+                text='when tab key inserts spaces,\nspaces per indent')
         self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum,
                 orient='horizontal',tickinterval=2,from_=2,to=8)
-        labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
-                text='when tab key inserts tabs,\ncolumns per tab')
-        self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
-                orient='horizontal',tickinterval=2,from_=2,to=8)
+        #labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
+        #        text='when tab key inserts tabs,\ncolumns per tab')
+        #self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
+        #        orient='horizontal',tickinterval=2,from_=2,to=8)
         #widget packing
         #body
         frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
@@ -158,8 +158,8 @@ class ConfigDialog(Toplevel):
         labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
         labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
         self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
-        labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
-        self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
+        #labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
+        #self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
         return frame
 
     def CreatePageHighlight(self):
@@ -921,17 +921,17 @@ class ConfigDialog(Toplevel):
         self.SetFontSample()
     
     def LoadTabCfg(self):
-        ##indent type radibuttons
+        ##indent type radiobuttons
         spaceIndent=idleConf.GetOption('main','Indent','use-spaces',
                 default=1,type='bool')
         self.indentBySpaces.set(spaceIndent)
         ##indent sizes
         spaceNum=idleConf.GetOption('main','Indent','num-spaces',
                 default=4,type='int')
-        tabCols=idleConf.GetOption('main','Indent','tab-cols',
-                default=4,type='int')
+        #tabCols=idleConf.GetOption('main','Indent','tab-cols',
+        #        default=4,type='int')
         self.spaceNum.set(spaceNum)
-        self.tabCols.set(tabCols)
+        #self.tabCols.set(tabCols)
     
     def LoadThemeCfg(self):
         ##current theme type radiobutton