Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- def tabselect(self, notebook, b, tab):
- new_tab=notebook.get_nth_page(tab)
- old_tab=notebook.get_nth_page(self.tab)
- self.tab = tab
- for c in self._dynamic_childs:
- if new_tab.__gtype__.name =='GtkSocket':
- w= new_tab.get_plug_window()
- if new_tab.get_id()==c:
- self.send_message(new_tab,w.xid,"Visible\0\0\0\0\0\0\0\0\0\0\0\0\0")
- if old_tab.__gtype__.name =='GtkSocket':
- w= old_tab.get_plug_window()
- if old_tab.get_id()==c:
- self.send_message(old_tab,w.xid,"Hidden\0\0\0\0\0\0\0\0\0\0\0\0\0\0")
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement