红帽/CentOS 7.1.1503；GNOME 外壳 3.8.4
我以我正在从事的当前项目命名我的工作区（1-4 周）。如何将它们从“1”“2”...重命名为“Vienna”“Berlin”？
在 CentOS6 中，我只需右键单击工作区面板插件并在属性中重命名它们。
我已经找到了“工作区标签”扩展名（https://extensions.gnome.org/extension/551/workspace-labels/），但这不允许我更改名称。
我有一个显示端口 KVM / KVMP 交换机，可以在两台 PC（Ubuntu 20.04、Windows 10）之间切换。每当我从 Windows 10 PC 切换回 Ubuntu 20.04 时，我都必须通过“显示”设置恢复双显示器设置，或者关闭然后再次打开一台显示器，以使两台显示器再次处于连接/双屏模式。这有时会弄乱我的应用程序窗口。
有趣的观察：如果我在机器之间切换时打开“设置”->“显示”对话框，则 gnome-control-center 进程会因 SIGSEGV 崩溃，并且 Ubuntu 希望向开发人员报告内部错误。
我在 Windows 10 PC 上运行 Ubuntu 20.04 live USB 系统并得到了相同的行为。因此，这似乎不是硬件错误，因为两台 PC 使用不同的 GPU、CPU 和主板。
有没有一种方法可以“锁定”显示配置，以便系统在未检测到第二种监视器模式时不会切换回一种监视器模式？
如果重要的话，GPU 是 Intel HD Graphics 520。
（奖励积分给任何人，如何向我指出一种调试此行为并向开发人员报告的方法）