[epiphany] Add workaround for missing view source mode

[Michael Catanzaro <mcatanzaro src gnome org>]

commit b58fb28c5db6cae6ed9a2a8cdbbefccf37244bcd
Author: Michael Catanzaro <mcatanzaro igalia com>
Date:   Thu Oct 16 21:04:47 2014 -0500

    Add workaround for missing view source mode
    
    We'll open the source in the default text editor instead
    
    https://bugzilla.gnome.org/show_bug.cgi?id=738475

 src/window-commands.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/window-commands.c b/src/window-commands.c
index df972fa..603d57f 100644
--- a/src/window-commands.c
+++ b/src/window-commands.c
@@ -1394,12 +1394,16 @@ window_cmd_view_page_source (GtkAction *action,
 
        address = ephy_web_view_get_address (ephy_embed_get_web_view (embed));
 
+#if 0
+FIXME: Disabled due to bug #738475
+
        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 ();