Changeset 22
- Timestamp:
- 08/27/07 00:01:18 (9 months ago)
- Files:
-
- trunk/lib/gui/mainwin.py (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/lib/gui/mainwin.py
r16 r22 282 282 283 283 try: 284 item = wx.MenuItem(self.menuDict, 285 itemID, 286 encoded) 287 self.menuDict.AppendItem(item) 284 # item = wx.MenuItem(self.menuDict, 285 # itemID, 286 # encoded) 287 # self.menuDict.AppendItem(item) 288 self.menuDict.AppendRadioItem(itemID, encoded, "") 288 289 wx.EVT_MENU(self, itemID, self.onDefault) 290 if self.app.config.get('defaultDict') == name: 291 self.menuDict.FindItemById(itemID).Check(1) 292 289 293 except Exception, e: 290 294 systemLog(ERROR, "Unable to create menu item for '%s' (%s)" \ … … 1014 1018 dictionary = self.app.dictionaries.get(self.app.config.ids.get(eventID)) 1015 1019 self.loadDictionary(dictionary) 1020 label = self.menuDict.FindItemById(eventID).GetLabel() 1021 self.app.config.set('defaultDict', label) 1016 1022 1017 1023 elif 2100 <= eventID < 2500:
