[gcmd-dev] No icon refresh after changing the file-extension

[André]

I'd like to report a bug I found, the Icon of the file is not refreshed when I
change the file extension.

In order to fix that problem, I tried different things:

An update of the Icon in the function 'on_dialog_keypressed' in the file
'gnome-cmd-file-selector.cc'. Information about the Index (row) and the
File-List (GnomeCmdFileList) are available. However I had problems with the
file (GnomeCmdFile).

I found the information within the function 'gnome_cmd_file_rename' of the file
'gnome-cmd-file.cc'. However I cant find a possibility to get the Index (row).

The easiest (but not necessarily the one with the best performance) solution
was to refresh the whole list. (attachment)

Would be nice if you could use one of my solutions.

-- André

--- a/gnome-cmd-file.cc
+++ b/gnome-cmd-file.cc
@@ -332,6 +332,7 @@ GnomeVFSResult gnome_cmd_file_rename (GnomeCmdFile *f, 
const gchar *new_name)
         gnome_cmd_dir_file_renamed (get_parent_dir (f), f, old_uri_str);
         if (GNOME_CMD_IS_DIR (f))
             gnome_cmd_dir_update_path (GNOME_CMD_DIR (f));
+        gnome_cmd_main_win_get_fs (main_win, ACTIVE)->reload();
     }
 
     return result;