Lines Matching refs:EditorWindow
80 near - a Toplevel widget (e.g. EditorWindow or PyShell)
112 class EditorWindow(object):
124 if EditorWindow.help_url is None:
146 EditorWindow.help_url = dochome
149 EditorWindow.help_url = 'file://' + EditorWindow.help_url
151 EditorWindow.help_url = "http://docs.python.org/%d.%d" % sys.version_info[:2]
165 #configDialog.py so it can access all EditorWindow instances
175 self.width = idleConf.GetOption('main','EditorWindow','width', type='int')
181 'height': idleConf.GetOption('main', 'EditorWindow', 'height', type='int')}
255 if idleConf.GetOption('main', 'EditorWindow', 'font-bold', type='bool'):
257 text.config(font=(idleConf.GetOption('main', 'EditorWindow', 'font'),
258 idleConf.GetOption('main', 'EditorWindow',
770 if idleConf.GetOption('main','EditorWindow','font-bold',type='bool'):
772 self.text.config(font=(idleConf.GetOption('main','EditorWindow','font'),
773 idleConf.GetOption('main','EditorWindow','font-size',
1686 edit = EditorWindow(root=root, filename=filename)
