[wingide-users] script to generate HTML files for keymaps

Werner F. Bruhin werner.bruhin at free.fr
Wed Nov 14 11:34:36 EST 2012


Hi Mitchell and Stefan,

Got it to run but needed to make one change.

Around line 134 I changed:

             for key, value in evaluate(config.get('user-preferences', 
'gui.keymap-override')).items():
                 self._add_mapping(key, value)

to:

         if config.has_option('user-preferences', 'gui.keymap-override'):
             for key, value in evaluate(config.get('user-preferences', 
'gui.keymap-override')).items():
                 self._add_mapping(key, value)

Besides that I needed to set the following:

keymap_location = r"C:\Program Files (x86)\Wing IDE 4.1"
preferences_path = r"C:\Users\MYUSERID\AppData\Roaming\Wing IDE 
4\preferences"

Werner


More information about the wingide-users mailing list