-
Razvan Chitu authored
When renaming a file, the extension is not selected for editing, even if the file is a directory. In order to fix this, deselect the extension only if the renamed file is of regular type. https://bugzilla.gnome.org/show_bug.cgi?id=759718
56736b5a