Changeset 4253
- Timestamp:
- 07/08/08 13:34:06 (3 months ago)
- Files:
-
- trunk/ide/ClassDesignerEditor.py (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/ide/ClassDesignerEditor.py
r4248 r4253 202 202 OnHit=self.onWhiteSpace, bmp="", help=_("Toggle White Space Characters"), 203 203 menutype="check") 204 205 emn.appendSeparator() 206 207 self._useSpacesItem = emn.append(_("Use Spaces Instead Of Tabs"), 208 OnHit=self.onUseSpaces, bmp="", help=_("Toggle Using Spaces Or Tabs"), 209 menutype="check") 210 211 self._tabMenu = dabo.ui.dMenu(Caption="Tab Size") 212 emn.appendMenu(self._tabMenu) 213 214 for number in [2,4,6,8,16]: 215 self._tabMenu.append(_("Tab Size %s" % number), OnHit=self.onTabSize, bmp="", 216 help=_("Set Tab Size To %s" % number), menutype="radio") 217 self._tabMenu.Children[1].Checked = True 204 218 205 219 … … 229 243 ed = self.editor 230 244 ed.ShowLineNumbers = not ed.ShowLineNumbers 245 246 247 def onTabSize(self, evt): 248 #Captions are "Tab Size #" so doing a caption.split[-1] will get the width 249 self.editor.TabWidth = int(evt.EventObject.Caption.split()[-1]) 250 251 252 def onUseSpaces(self, evt): 253 useTabs = not evt.EventObject.Checked 254 self.editor.UseTabs = useTabs 255 for child in self._tabMenu.Children: 256 child.Enabled = useTabs 231 257 232 258
