remove tabwidth (for tabs) config stuff,
because of the way the tk text widget handles tabs they must remain a fixed size in idle
This commit is contained in:
parent
b1585417d1
commit
63f6714c3a
|
@ -41,7 +41,6 @@ font-bold= 0
|
||||||
[Indent]
|
[Indent]
|
||||||
use-spaces= 1
|
use-spaces= 1
|
||||||
num-spaces= 4
|
num-spaces= 4
|
||||||
tab-cols= 4
|
|
||||||
|
|
||||||
[Theme]
|
[Theme]
|
||||||
default= 1
|
default= 1
|
||||||
|
|
|
@ -125,13 +125,13 @@ class ConfigDialog(Toplevel):
|
||||||
labelIndentSizeTitle=Label(frameIndentSize,
|
labelIndentSizeTitle=Label(frameIndentSize,
|
||||||
text='Choose indentation size :')
|
text='Choose indentation size :')
|
||||||
labelSpaceNumTitle=Label(frameIndentSize,justify=LEFT,
|
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,
|
self.scaleSpaceNum=Scale(frameIndentSize,variable=self.spaceNum,
|
||||||
orient='horizontal',tickinterval=2,from_=2,to=8)
|
orient='horizontal',tickinterval=2,from_=2,to=8)
|
||||||
labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
|
#labeltabColsTitle=Label(frameIndentSize,justify=LEFT,
|
||||||
text='when tab key inserts tabs,\ncolumns per tab')
|
# text='when tab key inserts tabs,\ncolumns per tab')
|
||||||
self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
|
#self.scaleTabCols=Scale(frameIndentSize,variable=self.tabCols,
|
||||||
orient='horizontal',tickinterval=2,from_=2,to=8)
|
# orient='horizontal',tickinterval=2,from_=2,to=8)
|
||||||
#widget packing
|
#widget packing
|
||||||
#body
|
#body
|
||||||
frameFont.pack(side=LEFT,padx=5,pady=10,expand=TRUE,fill=BOTH)
|
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)
|
labelIndentSizeTitle.pack(side=TOP,anchor=W,padx=5,pady=5)
|
||||||
labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
|
labelSpaceNumTitle.pack(side=TOP,anchor=W,padx=5)
|
||||||
self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
|
self.scaleSpaceNum.pack(side=TOP,padx=5,fill=X)
|
||||||
labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
|
#labeltabColsTitle.pack(side=TOP,anchor=W,padx=5)
|
||||||
self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
|
#self.scaleTabCols.pack(side=TOP,padx=5,fill=X)
|
||||||
return frame
|
return frame
|
||||||
|
|
||||||
def CreatePageHighlight(self):
|
def CreatePageHighlight(self):
|
||||||
|
@ -921,17 +921,17 @@ class ConfigDialog(Toplevel):
|
||||||
self.SetFontSample()
|
self.SetFontSample()
|
||||||
|
|
||||||
def LoadTabCfg(self):
|
def LoadTabCfg(self):
|
||||||
##indent type radibuttons
|
##indent type radiobuttons
|
||||||
spaceIndent=idleConf.GetOption('main','Indent','use-spaces',
|
spaceIndent=idleConf.GetOption('main','Indent','use-spaces',
|
||||||
default=1,type='bool')
|
default=1,type='bool')
|
||||||
self.indentBySpaces.set(spaceIndent)
|
self.indentBySpaces.set(spaceIndent)
|
||||||
##indent sizes
|
##indent sizes
|
||||||
spaceNum=idleConf.GetOption('main','Indent','num-spaces',
|
spaceNum=idleConf.GetOption('main','Indent','num-spaces',
|
||||||
default=4,type='int')
|
default=4,type='int')
|
||||||
tabCols=idleConf.GetOption('main','Indent','tab-cols',
|
#tabCols=idleConf.GetOption('main','Indent','tab-cols',
|
||||||
default=4,type='int')
|
# default=4,type='int')
|
||||||
self.spaceNum.set(spaceNum)
|
self.spaceNum.set(spaceNum)
|
||||||
self.tabCols.set(tabCols)
|
#self.tabCols.set(tabCols)
|
||||||
|
|
||||||
def LoadThemeCfg(self):
|
def LoadThemeCfg(self):
|
||||||
##current theme type radiobutton
|
##current theme type radiobutton
|
||||||
|
|
Loading…
Reference in New Issue