Зато это по хигу, а вот что делать бы еслиб этот редактор сдох, тогда чудно. Раньше там все хранилось в хмль конфигах, а где сейчас я так и не нашел. В общем проще будет снести гном как завещал хиг.
я не знаю почему ты в настройках этого не нашла, но с гнома 2.24 все это там где я сказал. раньше отдельно отключалось в контрол центре гнома. теперь в самом настилусе