IDEFrame.py
changeset 1743 c3c3d1318130
parent 1742 92932cd370a4
child 1744 69dfdb26f600
--- a/IDEFrame.py	Tue Aug 15 16:48:49 2017 +0300
+++ b/IDEFrame.py	Tue Aug 15 17:01:51 2017 +0300
@@ -315,7 +315,7 @@
                 split_rect = wx.Rect(rect.x, rect.y,
                                      rect.width - tab["size"][0] - TAB_BORDER, rect.height)
             break
-    if split != None:
+    if split is not None:
         split_tab = tabs.pop(idx)
         return {"split": split,
                 "tab": split_tab,