是因为Gedit可能在使用其他配置文件或者配置项来覆盖gsettings所做的更改。这种情况下,可以尝试使用其他方法来修改Gedit的配置。
一种方法是直接编辑Gedit的配置文件。Gedit的配置文件通常位于用户的家目录下的隐藏文件夹中,路径为~/.config/gedit/gedit.ini。可以使用文本编辑器打开该文件,并修改其中的配置项来实现所需的更改。
另一种方法是使用dconf-editor工具来修改Gedit的配置。dconf-editor是一个图形化的配置编辑器,可以用来浏览和修改系统和应用程序的配置。可以通过以下命令安装dconf-editor:
sudo apt-get install dconf-editor
安装完成后,可以打开dconf-editor并导航到org -> gnome -> gedit。在这里可以找到各种Gedit的配置项,并进行修改。
如果以上方法仍然无法解决问题,可能是由于其他原因导致的。可以尝试重新安装Gedit,或者查看Gedit的日志文件以获取更多信息。
总结起来,通过gsettings对Gedit所做的更改被忽略可能是因为Gedit使用了其他配置文件或者配置项来覆盖gsettings的更改。可以尝试直接编辑Gedit的配置文件或者使用dconf-editor工具来修改配置。如果问题仍然存在,可以尝试重新安装Gedit或者查看日志文件以获取更多信息。
腾讯云相关产品和产品介绍链接地址:
领取专属 10元无门槛券
手把手带您无忧上云