Preferences/PreferencesLexer.py

changeset 12
1d8dd9706f46
parent 0
de9c2efb9d02
child 13
1af94a91f439
--- a/Preferences/PreferencesLexer.py	Fri Jan 01 16:11:36 2010 +0000
+++ b/Preferences/PreferencesLexer.py	Sat Jan 02 15:11:35 2010 +0000
@@ -248,7 +248,7 @@
         @param style the style number (int)
         @return description of the style (string)
         """
-        if self.descriptions.has_key(style):
+        if style in self.descriptions:
             return self.descriptions[style]
         else:
             return ""

eric ide

mercurial