diff options
| author | Carlos Garcia Campos <cgarcia@igalia.com> | 2012-12-31 22:07:30 +0800 |
|---|---|---|
| committer | Carlos Garcia Campos <carlosgc@gnome.org> | 2013-01-04 18:01:38 +0800 |
| commit | 5fd8c27e1de6ddccf9ef14811df865f129cbc461 (patch) | |
| tree | 5f0e3dbd859a082d533ed8c0f0932d7e3867821c /src | |
| parent | cf825ce1926ffb3890ebfd4f0094a97b2158f314 (diff) | |
| download | gsoc2013-epiphany-5fd8c27e1de6ddccf9ef14811df865f129cbc461.tar gsoc2013-epiphany-5fd8c27e1de6ddccf9ef14811df865f129cbc461.tar.gz gsoc2013-epiphany-5fd8c27e1de6ddccf9ef14811df865f129cbc461.tar.bz2 gsoc2013-epiphany-5fd8c27e1de6ddccf9ef14811df865f129cbc461.tar.lz gsoc2013-epiphany-5fd8c27e1de6ddccf9ef14811df865f129cbc461.tar.xz gsoc2013-epiphany-5fd8c27e1de6ddccf9ef14811df865f129cbc461.tar.zst gsoc2013-epiphany-5fd8c27e1de6ddccf9ef14811df865f129cbc461.zip | |
Implement embedded view source mode in WebKit2
https://bugzilla.gnome.org/show_bug.cgi?id=684440
Diffstat (limited to 'src')
| -rw-r--r-- | src/window-commands.c | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/window-commands.c b/src/window-commands.c index c0193dfe9..abf2950f7 100644 --- a/src/window-commands.c +++ b/src/window-commands.c @@ -1301,13 +1301,14 @@ view_source_embedded (const char *uri, EphyEmbed *embed) NULL, EPHY_NEW_TAB_JUMP | EPHY_NEW_TAB_IN_EXISTING_WINDOW | EPHY_NEW_TAB_APPEND_AFTER); #ifdef HAVE_WEBKIT2 - /* TODO: View Source */ + webkit_web_view_set_view_mode + (EPHY_GET_WEBKIT_WEB_VIEW_FROM_EMBED (new_embed), WEBKIT_VIEW_MODE_SOURCE); #else webkit_web_view_set_view_source_mode (EPHY_GET_WEBKIT_WEB_VIEW_FROM_EMBED (new_embed), TRUE); +#endif webkit_web_view_load_uri (EPHY_GET_WEBKIT_WEB_VIEW_FROM_EMBED (new_embed), uri); -#endif } @@ -1529,16 +1530,12 @@ window_cmd_view_page_source (GtkAction *action, address = ephy_web_view_get_address (ephy_embed_get_web_view (embed)); -#ifdef HAVE_WEBKIT2 - /* TODO: View Source */ -#else if (g_settings_get_boolean (EPHY_SETTINGS_MAIN, EPHY_PREFS_INTERNAL_VIEW_SOURCE)) { view_source_embedded (address, embed); return; } -#endif user_time = gtk_get_current_event_time (); |