经过一番搜索，我几乎陷入困境。我目前正在重新处理 Cinnamon 桌面环境中的一些东西。
以下是我需要的建议：
- 调整 X 轴上 Cinnamon 面板的大小（如果我没想错的话）
- 更改窗口边框的颜色
这是我目前的情况。
本质上，我需要能够同时使用 Docky 和 Cinnamon Panel，而不会受到两者的干扰。我目前将面板设置为自动隐藏，这样我就可以操作了。
答案1
对于第一点，您需要更改代码。可以创建一个扩展来允许您想要做的事情。现在可以在 cinnamon 2.6 之后的扩展上修改它。另一种可能性是直接修改 cinnamon 当前代码，但更新后您将丢失更改。对于第二点，我认为可以修改 gtk 主题（在 cinnamon 主题中不可能）。