Always toggle source mode except for source code views
This commit is contained in:
parent
7821d61b5c
commit
3336938418
1 changed files with 4 additions and 1 deletions
|
@ -2661,7 +2661,10 @@ webkit_web_view_mime_type_decision_cb (GtkWidget* web_view,
|
||||||
if (webkit_web_view_can_show_mime_type (WEBKIT_WEB_VIEW (web_view), mime_type))
|
if (webkit_web_view_can_show_mime_type (WEBKIT_WEB_VIEW (web_view), mime_type))
|
||||||
{
|
{
|
||||||
#if WEBKIT_CHECK_VERSION (1, 1, 14)
|
#if WEBKIT_CHECK_VERSION (1, 1, 14)
|
||||||
gboolean view_source = webkit_web_view_get_view_source_mode (WEBKIT_WEB_VIEW (web_view));
|
gboolean view_source = FALSE;
|
||||||
|
/* Dedicated source code views are always pseudo-blank pages */
|
||||||
|
if (midori_view_is_blank (view))
|
||||||
|
view_source = webkit_web_view_get_view_source_mode (WEBKIT_WEB_VIEW (web_view));
|
||||||
|
|
||||||
/* Render raw XML, including news feeds, as source */
|
/* Render raw XML, including news feeds, as source */
|
||||||
if (!view_source && (!strcmp (mime_type, "application/xml")
|
if (!view_source && (!strcmp (mime_type, "application/xml")
|
||||||
|
|
Loading…
Reference in a new issue