Helpviewer/Passwords/PasswordManager.py

changeset 1917
c73052b6b65e
parent 1686
bd756cb42d5b
child 2302
f29e9405c851
diff -r 41641e024614 -r c73052b6b65e Helpviewer/Passwords/PasswordManager.py
--- a/Helpviewer/Passwords/PasswordManager.py	Sun Jun 24 11:34:53 2012 +0200
+++ b/Helpviewer/Passwords/PasswordManager.py	Sun Jun 24 18:08:36 2012 +0200
@@ -449,6 +449,8 @@
             formHasPasswords = False
             formName = map["name"]
             formIndex = map["index"]
+            if type(formIndex) == type(0.0) and formIndex.is_integer():
+                formIndex = int(formIndex)
             elements = map["elements"]
             formElements = set()
             formElementTypes = {}

eric ide

mercurial