Version: 2.0.85 (using KDE 4.4.2) OS: Linux I would love to be able to change a file name from the respective tab. It would be very useful if there were an "rename" option when right-clicking on the tab, not just the less useful "close" and "close all others" options. Reproducible: Always Steps to Reproduce: Right click on the tab of the file you wish to change the name. Actual Results: There is no "rename" option. Expected Results: There should be a "rename" option.
Git commit 44768f47ba25041228875b2ed708a5dbaa8bfbbe by Michel Ludwig. Committed on 25/08/2012 at 22:06. Pushed by mludwig into branch '2.1'. Add 'Save', 'Save As' and 'Save Copy As' actions to the tab context menu M +75 -31 src/kiledocmanager.cpp M +46 -25 src/kileviewmanager.cpp M +3 -1 src/kileviewmanager.h http://commits.kde.org/kile/44768f47ba25041228875b2ed708a5dbaa8bfbbe
Git commit 80f9f1a92dd5946d272380860aa98532acbf0daf by Michel Ludwig. Committed on 25/08/2012 at 22:06. Pushed by mludwig into branch 'master'. Add 'Save', 'Save As' and 'Save Copy As' actions to the tab context menu M +75 -31 src/kiledocmanager.cpp M +45 -24 src/kileviewmanager.cpp M +1 -0 src/kileviewmanager.h http://commits.kde.org/kile/80f9f1a92dd5946d272380860aa98532acbf0daf
Thank you for this great step in the correct direction, but I do not consider this a fix. If I want to rename the file, which is the case whenever some mistake is made that makes kile insert the wrong file extension, I would still have to open my file manager in order to delete a file, even if I can "save as" the file from the tab. In fact, I consider that the "rename" option should be in the "file" menu as well.