- WebView view = NewTab();
- view.Open(FixUri(Uri));
- }
-
- public void Quit() {
- // TODO: Create a way of shutting down plugins
- Application.Quit();
- }
-
- private void Tabs_SwitchPage(object o, SwitchPageArgs e) {
- Gtk.Widget page = _Tabs.GetNthPage((int)e.PageNum);
- _Window.Title = _Tabs.GetTabLabelText(page) + " - WebThing";