如何从 gnome-terminal 上下文菜单中禁用“复制为 HTML”“粘贴为 HTML”?

如何从 gnome-terminal 上下文菜单中禁用“复制为 HTML”“粘贴为 HTML”?

它似乎是在 17.04 和 18.04 之间添加的,并且与这个错误有关,https://bugzilla.gnome.org/show_bug.cgi?id=365121

我尝试在 /usr/share/ 和 /etc/ 中搜索配置文件,但没有找到;我尝试在谷歌中搜索,但没有发现任何问题。

提前感谢帮助

答案1

似乎是另一个硬编码的东西。这只是 GNOME“用户友好”的另一个例子。

以下是一些分析和建议:

$ apt-get source gnome-terminal
$ cd gnome-terminal-3.28.2/
$ grep -ir "Copy.*as.*HTML" . --include="*.c" -n
./src/terminal-accels.c:141:  ENTRY (N_("Copy as HTML"),        KEY_COPY_HTML,           "copy",         "s", "'html'"   ),
./src/terminal-window.c:1782:  g_menu_append (section4, _("Copy as _HTML"), "win.copy::html");

手动打开的./src/terminal-window.c显示对应g_menu_append是没有条件的,所以每次都包含在内。

Dconf 只知道设置定义/启用/禁用键盘快捷键(在首选项→快捷方式→编辑→复制为 HTML):

$ gsettings list-recursively | grep -i html
org.gnome.Terminal.Legacy.Keybindings copy-html 'disabled'

如果您不喜欢该功能,您可以尝试使用其他终端应用程序(如 MATE Terminal 或其他应用程序):

  • 控制台

    控制台

  • LX终端

    LX终端

  • MATE 终端

    MATE 终端

  • Q终端

    Q终端

注意:在 Ubuntu 18.04 LTS 中也xfce4-terminal有同样不可配置的东西。

答案2

您无法禁用这些条目。与大多数软件一样,基本用户界面(菜单组织等)是 GNOME 终端的硬编码组成部分,不可配置(至少在不更改源代码的情况下不可配置)。

相关内容