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

[Werner F. Bruhin]

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