我正在尝试gnome-terminal使用 GTK Inspector 进行检查。该检查器适用于其他 GTK 程序,例如gnome-calculator和gedit。但是,当我尝试在 上运行它时gnome-terminal,没有任何反应。我已经试过许多可能性,例如Ctrl+ Shift+I和Ctrl+ Shift+ D(从未对我的作品),并运行GTK_DEBUG=interactive gnome-terminal。后者适用于其他 GTK 程序,但不适用于终端。如果我从不同的终端(如xterm. 关于如何 GTK 检查 的任何建议gnome-terminal?
Ubuntu 22.10 / 23.04 / 23.10 中的“新”文本编辑器(我不是在谈论旧gedit工具)在编辑区域(就在第一行上方)具有较大的上边距,如下所示:
今天,我遇到了GTK Inspector ,可以通过按+ + (大写)从文本编辑器激活它。导航到对象\xe2\x86\x92属性并将上边距的值从 12 更改为 2 后,此上边距大小将减小为更有意义的设置:CtrlShiftIi
但是,此设置更改不是永久性的;关闭并重新启动后,gnome-text-editor此大小将恢复为旧值 (12)。
有没有办法让改变永久化?我想,~/.config/gtk-4.0/gtk.css需要进行一些修改;然而GTK Inspector并没有帮助我解决这个问题。
我想参与开发 GNOME,在他们的新手指南中,它告诉我 GTKInspector,它说:
要启用调试器,请在您的环境中使用 GTK_DEBUG=interactive 启动您的应用程序,或者运行 gsettings set org.gtk.Settings.Debug enable-inspector-keybinding true 并使用 Control-Shift-I 或 Control-Shift- 启动调试器D 键盘快捷键。
但是,在运行该代码时,我只会收到错误消息:
No such schema 'org.gtk.Settings.Debug'
Run Code Online (Sandbox Code Playgroud)
并且键盘快捷键不起作用......那么我该怎么做才能激活它们?为什么它不起作用?我正在运行 Ubuntu GNOME 15.10 和 GNOME 3.18(来自gnome3和gnome3-stagingPPA)。我已经检查过了dconf-editor,里面绝对没有任何Debug部分org.gtk.Settings...