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,