3 // this appears to leak memory badly.. - actually seed+webkit is a bit of a mess...
4 // and probably needs to be restarted every day..
8 WebKit = imports.gi.WebKit;
9 Hotkey = imports.gi.GtkHotkey;
15 Settings : imports.Settings,
16 View : imports.View.Browser.View,
17 Tab : imports.Tab.Browser.Tab
23 window = new Gtk.Window({title: "Browser"});
24 window.resize(800, 600);
25 window.signal.destroy.connect(Gtk.main_quit);
27 var new_tab = new Browser.Tab();
28 new_tab.get_web_view().browse(Browser.Settings.home_page);
34 //window.fullscreen();
36 var hot = new Hotkey.Info.c_new("gtkhotkey-test", "gtkhotkey-test-key","<Control>Escape" );
38 //g_signal_connect (hot, "notify::bound", G_CALLBACK(hotkey_bound_cb), NULL);
42 print("BIND RETURNED" + x);
43 //gtk_hotkey_info_bind (hot, &error);
44 hot.signal.activated.connect(function ( ) {
48 //GLib.timeout_add(GLib.PRIORITY_LOW, 500, function() {
51 window.set_keep_above(true);
55 window.unfullscreen();
56 window.set_keep_above(false);
60 print ("GOT hotkey test")