I'm sure that I've seen this in other text editors. Once you have opened a file from somewhere as a user, it's a bit of a pain to go back and find it as superuser to edit a root-owned file. Just a switch in a drop down somewhere (tools?) to raise the privileges (which of course then asks for root password) is needed. May not be trivial of course . . .
mcarans
commented
8 years ago
I'm sure that I've seen this in other text editors. Once you have opened a file from somewhere as a user, it's a bit of a pain to go back and find it as superuser to edit a root-owned file. Just a switch in a drop down somewhere (tools?) to raise the privileges (which of course then asks for root password) is needed. May not be trivial of course . . .