bd974c7 - Minor patch to ui.py to fix broken menu generation.

Authored and Committed by jspaleta 15 years ago
    - Minor patch to ui.py to fix broken menu generation.
    
        
file modified
+6 -1
file added
+14