if (!(text_editor && *text_editor))
{
GtkWidget* source;
- GtkWidget* web_view;
+ GtkWidget* source_view;
gchar* source_uri;
source_uri = g_filename_to_uri (filename, NULL, NULL);
source = midori_view_new (NULL);
midori_view_set_settings (MIDORI_VIEW (source), browser->settings);
- web_view = midori_view_get_web_view (MIDORI_VIEW (source));
- webkit_web_view_set_view_source_mode (WEBKIT_WEB_VIEW (web_view), TRUE);
- webkit_web_view_load_uri (WEBKIT_WEB_VIEW (web_view), source_uri);
+ source_view = midori_view_get_web_view (MIDORI_VIEW (source));
+ webkit_web_view_set_view_source_mode (WEBKIT_WEB_VIEW (source_view), TRUE);
+ webkit_web_view_load_uri (WEBKIT_WEB_VIEW (source_view), source_uri);
gtk_widget_show (source);
midori_browser_add_tab (browser, source);
}