void rename_file(GString *newfilename)
{
gchar *basename=filename_get_basename(newfilename->str);
gchar *filename = document_get_filename(document_manager_get_current_document(main_window.docmg));
if (filename_rename(filename, basename)) {
// Set the filename of the current document to be that
document_set_GFile(document_manager_get_current_document(main_window.docmg), get_gfile_from_filename(newfilename->str));
document_set_untitled(document_manager_get_current_document(main_window.docmg), FALSE);
document_set_shortfilename(document_manager_get_current_document(main_window.docmg), basename);
g_free(basename);
// save as new filename
on_save1_activate(NULL);
}
g_free(filename);
}
void filebrowser_backend_rename_file(FilebrowserBackend *filebackend,gchar *filename, gchar *current_name, gchar *new_name){
if (g_strcmp0(new_name,current_name)!=0){
filename_rename(filename,new_name);
}
}
