diff options
author | keis <keijser@gmail.com> | 2011-07-28 22:31:30 +0200 |
---|---|---|
committer | keis <keijser@gmail.com> | 2011-07-28 22:31:30 +0200 |
commit | db61f092140205e71f40fb14dc98a1e650c7e527 (patch) | |
tree | 6a2459ae08c6baa4875b1db226dc7eb615a3cd3c /src/inspector.c | |
parent | 1e20430333aee952f55f6caec4d55238a0160bf9 (diff) | |
parent | e035f6f991fdbe9862a72fba6e8d348dcc25532f (diff) |
Merge branch 'experimental' of git://github.com/Dieterbe/uzbl into mouse-events
Diffstat (limited to 'src/inspector.c')
-rw-r--r-- | src/inspector.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/inspector.c b/src/inspector.c index 4c8c890..d0d86b9 100644 --- a/src/inspector.c +++ b/src/inspector.c @@ -6,7 +6,7 @@ #include "uzbl-core.h" #include "events.h" #include "callbacks.h" - +#include "type.h" void hide_window_cb(GtkWidget *widget, gpointer data) { @@ -88,7 +88,7 @@ inspector_inspector_destroyed_cb (WebKitWebInspector* inspector){ void set_up_inspector() { GUI *g = &uzbl.gui; - WebKitWebSettings *settings = view_settings(); + WebKitWebSettings *settings = webkit_web_view_get_settings(g->web_view); g_object_set(G_OBJECT(settings), "enable-developer-extras", TRUE, NULL); uzbl.gui.inspector = webkit_web_view_get_inspector(uzbl.gui.web_view); |