Changeset 4253

Show
Ignore:
Timestamp:
07/08/08 13:34:06 (3 months ago)
Author:
nate
Message:

Added options in the editor menu of the class designer to use spaces instead of tabs and to allow the user to set the tab width. The tab width menu entries are disabled if using spaces.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • trunk/ide/ClassDesignerEditor.py

    r4248 r4253  
    202202                OnHit=self.onWhiteSpace, bmp="", help=_("Toggle White Space Characters"),  
    203203                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 
    204218 
    205219 
     
    229243        ed = self.editor 
    230244        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 
    231257 
    232258