synfig::String get_contents()const;
void set_contents(const synfig::String& x);
void refresh_tabs_headers();
synfig::String get_contents()const;
void set_contents(const synfig::String& x);
void refresh_tabs_headers();
void refresh_tab(Dockable*);
bool tab_button_pressed(GdkEventButton* event, Dockable* dockable);
void refresh_tab(Dockable*);
bool tab_button_pressed(GdkEventButton* event, Dockable* dockable);