equal
deleted
inserted
replaced
321 rect.width - tab["size"][0] - TAB_BORDER, rect.height) |
321 rect.width - tab["size"][0] - TAB_BORDER, rect.height) |
322 elif tab["pos"][0] == rect.width + 1 - tab["size"][0]: |
322 elif tab["pos"][0] == rect.width + 1 - tab["size"][0]: |
323 split = (wx.RIGHT, 1.0 - float(tab["size"][0]) / float(rect.width)) |
323 split = (wx.RIGHT, 1.0 - float(tab["size"][0]) / float(rect.width)) |
324 split_rect = wx.Rect(rect.x, rect.y, |
324 split_rect = wx.Rect(rect.x, rect.y, |
325 rect.width - tab["size"][0] - TAB_BORDER, rect.height) |
325 rect.width - tab["size"][0] - TAB_BORDER, rect.height) |
326 split_id = id |
326 split_id = idx |
327 break |
327 break |
328 if split is not None: |
328 if split is not None: |
329 split_tab = tabs.pop(split_id) |
329 split_tab = tabs.pop(split_id) |
330 return {"split": split, |
330 return {"split": split, |
331 "tab": split_tab, |
331 "tab": split_tab, |