Gedit не позволит мне изменить размер текста: застрял в режиме гигантского текста

На первый взгляд это звучит как дубликат . Невозможно изменить размер текста в gedit , но это не так: в этом вопросе они на самом деле говорят о размере шрифта, а я нет.

Я использую Ubuntu 14.04 и Gedit 3.10.4.

В любом случае - на прошлой неделе, чтобы позволить одному из моих детей играть с текстовым редактором, я изменил размер текста по умолчанию на большой, на вкладке «Редактирование / Настройки» / «Шрифт и цвет». Теперь я не могу изменить его обратно - я отмечаю флажок, чтобы использовать шрифт «Ubuntu Monospace 13» по умолчанию, и флажок ставится, а затем убирает галочку сразу. Вместо этого я могу изменить размер шрифта, и это изменение просто отменяется, как только оно сохраняется.

Я думаю, это может быть связано с каким-то конфигурационным файлом, который имеет неправильные разрешения: если я открою Gedit в режиме sudo, я смогу изменить размер шрифта. Но сделанное здесь изменение не переходит обратно в «не-sudo» gedit.

Единственный файл конфигурации, который я могу найти в доме, это ~/.config/gedit/accels, и разрешения для него нормальные. Я думаю, что это всего лишь список сочетаний клавиш. В /usr/share/gedit/ есть много других конфигурационных файлов, но ни один из них не показывает, что они были изменены в последнее время.

Я пытался удалить и переустановить gedit, но это не имело никакого значения.

Есть идеи у кого-нибудь?

1
задан 9 October 2018 в 13:08

1 ответ

Это звучит похоже на эту проблему: gedit & quot; Управление внешними инструментами & quot; пункт меню не появляется

Используйте namei, чтобы узнать, владеет ли sudo некоторыми из ваших файлов конфигурации:

$ namei -l ~/.config/gedit/tools
f: /home/rick/.config/gedit/tools
drwxr-xr-x root root /
drwxr-xr-x root root home
drwxr-xr-x rick rick rick
drwx------ rick rick .config
drwxr-xr-x root root gedit
drwxrwxr-x rick rick tools

Если вы видите root, отображаются как владелец или группа ( после первых двух каталогов, / и home) затем используйте эту команду:

sudo chown -cR user:user /home/user

Где user - ваш идентификатор пользователя. то есть Max:Max /home/Max

1
ответ дан 9 October 2018 в 13:08

Другие вопросы по тегам:

Похожие вопросы: