diff options
author | Michael Raskin <4e976623@mail.ru> | 2010-10-16 23:23:48 +0400 |
---|---|---|
committer | Brendan Taylor <whateley@gmail.com> | 2010-10-16 17:43:36 -0600 |
commit | 8bfa2fb492d801b4919ee51eb1077f4b3acc39b9 (patch) | |
tree | ffc6c891dd142fc4e8f5874f232446bef7568818 /src | |
parent | 2a62821c43c60e185fb5f7245f5ff2fcd76b929f (diff) |
Add show_inspector command
Diffstat (limited to 'src')
-rw-r--r-- | src/uzbl-core.c | 10 | ||||
-rw-r--r-- | src/uzbl-core.h | 3 |
2 files changed, 12 insertions, 1 deletions
diff --git a/src/uzbl-core.c b/src/uzbl-core.c index 70d6f50..25583ca 100644 --- a/src/uzbl-core.c +++ b/src/uzbl-core.c @@ -704,7 +704,8 @@ struct {const char *key; CommandInfo value;} cmdlist[] = { "menu_image_remove", {menu_remove_image, TRUE} }, { "menu_editable_remove", {menu_remove_edit, TRUE} }, { "hardcopy", {hardcopy, TRUE} }, - { "include", {include, TRUE} } + { "include", {include, TRUE} }, + { "show_inspector", {show_inspector, 0} } }; void @@ -999,6 +1000,13 @@ include(WebKitWebView *page, GArray *argv, GString *result) { } void +show_inspector(WebKitWebView *page, GArray *argv, GString *result) { + (void) page; (void) argv; (void) result; + + webkit_web_inspector_show(uzbl.gui.inspector); +} + +void act_dump_config() { dump_config(); } diff --git a/src/uzbl-core.h b/src/uzbl-core.h index a9e8fe2..19a5887 100644 --- a/src/uzbl-core.h +++ b/src/uzbl-core.h @@ -474,6 +474,9 @@ void include(WebKitWebView *page, GArray *argv, GString *result); void +show_inspector(WebKitWebView *page, GArray *argv, GString *result); + +void builtins(); typedef void (*Command)(WebKitWebView*, GArray *argv, GString *result); |