svgui/pyjs/lib/pyjslib.py
changeset 1828 396da88d7b5c
parent 1783 3311eea28d56
child 1832 0f1081928d65
--- a/svgui/pyjs/lib/pyjslib.py	Fri Sep 22 10:57:57 2017 +0300
+++ b/svgui/pyjs/lib/pyjslib.py	Fri Sep 22 16:37:38 2017 +0300
@@ -987,7 +987,7 @@
 
 
 def ord(x):
-    if(isString(x) and len(x) is 1):
+    if isString(x) and len(x) is 1:
         JS("""
             return x.charCodeAt(0);
         """)