if(this.ignoreNextChange) {
this.ignoreNextChange = false;
} else {
- Midori.Browser browser = history_window as Midori.Browser;
+ Midori.Browser? browser = Midori.Browser.get_for_widget (new_view);
Midori.View? last_view
= browser.get_data<Midori.View?> ("history-list-last-change");
public void block_action (Gtk.Action action);
public void unblock_action (Gtk.Action action);
public unowned Gtk.ActionGroup get_action_group ();
- public unowned Browser get_for_widget (Gtk.Widget widget);
+ public static unowned Browser get_for_widget (Gtk.Widget widget);
public unowned string[] get_toolbar_actions ();
public unowned Katze.Array get_proxy_items ();