Hot answers tagged gedit
type this in terminal gsettings set org.gnome.gedit.preferences.encodings auto-detected "['UTF-8', 'CURRENT', 'ISO-8859-15', 'UTF-16']"
The bug (related to #662099) is still present with gedit 3.14.0. It is probably a problem with ibus and newer gnome versions. Just remove ibus sudo apt-get remove ibus and kill ibus pkill -o ibus-daemon
I checked all the gsettings of gedit and there isn't one... You might try to do a "Feature Request"
What command are you using to compile? It sounds like the compiling system is automatically generating a Makefile, which overwrites the version you're editing. You may need to edit the file the compilation program uses to generate the Makefile instead. For example, if you're using autotools (the standard "./configure; make; sudo make install" deal) you ...
Only top voted, non community-wiki answers of a minimum length are eligible