[shared] Added utils::flipDict allowing to flip keys<->values of a dict. [gen] file.py: added missing i18n labels. [gen] Added css style for rendering nice tables within the message popup.

shared/utils.py

@@ -169,6 +169,14 @@ def splitList(l, sub):
             res[-1].append(elem)
     return res
 
+# ------------------------------------------------------------------------------
+def flipDict(d):
+    '''Flips dict p_d: keys become values, values become keys. p_d is left
+       untouched: a new, flipped, dict is returned.'''
+    res = {}
+    for k, v in d.iteritems(): res[v] = k
+    return res
+
 # ------------------------------------------------------------------------------
 class Traceback:
     '''Dumps the last traceback into a string.'''