equal
deleted
inserted
replaced
313 elif tab["pos"][0] == rect.width + 1 - tab["size"][0]: |
313 elif tab["pos"][0] == rect.width + 1 - tab["size"][0]: |
314 split = (wx.RIGHT, 1.0 - float(tab["size"][0]) / float(rect.width)) |
314 split = (wx.RIGHT, 1.0 - float(tab["size"][0]) / float(rect.width)) |
315 split_rect = wx.Rect(rect.x, rect.y, |
315 split_rect = wx.Rect(rect.x, rect.y, |
316 rect.width - tab["size"][0] - TAB_BORDER, rect.height) |
316 rect.width - tab["size"][0] - TAB_BORDER, rect.height) |
317 break |
317 break |
318 if split != None: |
318 if split is not None: |
319 split_tab = tabs.pop(idx) |
319 split_tab = tabs.pop(idx) |
320 return {"split": split, |
320 return {"split": split, |
321 "tab": split_tab, |
321 "tab": split_tab, |
322 "others": ComputeTabsLayout(tabs, split_rect)} |
322 "others": ComputeTabsLayout(tabs, split_rect)} |
323 else: |
323 else: |