Add .htm when viewing source if there's no extension
This commit is contained in:
parent
5eb229c9fb
commit
c956b6cb75
1 changed files with 3 additions and 8 deletions
|
@ -3370,9 +3370,6 @@ midori_browser_save_source (const gchar* uri,
|
||||||
FILE* fp;
|
FILE* fp;
|
||||||
size_t ret;
|
size_t ret;
|
||||||
|
|
||||||
if (!data)
|
|
||||||
return NULL;
|
|
||||||
|
|
||||||
if (!outfile)
|
if (!outfile)
|
||||||
{
|
{
|
||||||
gchar* filename;
|
gchar* filename;
|
||||||
|
@ -3380,7 +3377,7 @@ midori_browser_save_source (const gchar* uri,
|
||||||
|
|
||||||
extension = midori_browser_get_uri_extension (uri);
|
extension = midori_browser_get_uri_extension (uri);
|
||||||
filename = g_strdup_printf ("%uXXXXXX%s",
|
filename = g_strdup_printf ("%uXXXXXX%s",
|
||||||
g_str_hash (uri), extension);
|
g_str_hash (uri), extension && *extension ? extension : ".htm");
|
||||||
g_free (extension);
|
g_free (extension);
|
||||||
fd = g_file_open_tmp (filename, &unique_filename, NULL);
|
fd = g_file_open_tmp (filename, &unique_filename, NULL);
|
||||||
g_free (filename);
|
g_free (filename);
|
||||||
|
@ -3431,12 +3428,10 @@ _action_source_view_activate (GtkAction* action,
|
||||||
frame = webkit_web_view_get_main_frame (WEBKIT_WEB_VIEW (web_view));
|
frame = webkit_web_view_get_main_frame (WEBKIT_WEB_VIEW (web_view));
|
||||||
data_source = webkit_web_frame_get_data_source (frame);
|
data_source = webkit_web_frame_get_data_source (frame);
|
||||||
data = webkit_web_data_source_get_data (data_source);
|
data = webkit_web_data_source_get_data (data_source);
|
||||||
if (data)
|
if (!data)
|
||||||
filename = midori_browser_save_source (uri, data->str, data->len, NULL);
|
|
||||||
|
|
||||||
if (!filename)
|
|
||||||
return;
|
return;
|
||||||
|
|
||||||
|
filename = midori_browser_save_source (uri, data, NULL, view);
|
||||||
if (!(text_editor && *text_editor))
|
if (!(text_editor && *text_editor))
|
||||||
{
|
{
|
||||||
GtkWidget* source;
|
GtkWidget* source;
|
||||||
|
|
Loading…
Reference in a new issue