Koodin väritys -välilehteä ei ole geditin asetuksissa

Lähtökohta
Gedit-tekstieditorin ohjetiedosto /usr/share/gnome/help/gedit/C/gedit.xml viittaa geditin asetuksissa olevaan Syntax Highlighting Preferences– eli Koodin väritys -välilehteen, ja kertoo siellä olevasta Enable syntax highlighting– eli Koodin väritys käytössä -valitsimesta. Olen avannut geditin asetusikkunan valitsemalla Muokkaa-valikosta kohdan Asetukset. Haluan ottaa koodin värityksen tilapäisesti pois käytöstä.
Ongelma
Geditin asetukset -ikkunassa ei ole Koodin väritys -välilehteä. Välilehtiä on kaikkiaan neljä: Näytä, Muokkaa, Kirjasimet & Värit (sic) ja Liitännäiset. Millään välilehdistä ei ole valitsinta, jolla koodin värityksen saisi pois käytöstä.
Ongelman syy
Koodin väritys -välilehti on poistettu geditin asetuksista muotoiluratkaisun takia. Ohjetiedostossa on virhe, sillä sitä ei ole päivitetty heijastamaan tätä muutosta.
Ratkaisu
Ratkaisua ei vielä ole. Ongelman voi kiertää seuraavalla tavalla:

  1. Suljen geditin.
  2. Avaan Asetusten muokkaus -sovelluksen gconf-editor -komennolla.
  3. Otan käytössä-valinnan pois /apps/gedit-2/preferences/syntax_highlighting/enable -avaimesta.
  4. Suljen Asetusten muokkauksen.

Kun tämän jälkeen käynnistän geditin, koodin väritys on pois käytöstä.