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:

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

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