如何在 frama-c GUI 中从深色主题更改为浅色主题

Question

我想在 frama-c GUI 中更改为浅色模式，该模式以深色模式打开。

认为可以通过写作来完成

frama-c-gui -gui-theme

如本教程所示，但我收到以下错误：

[kernel] User Error: option `-gui-theme' is unknown.

我做错了什么吗？

Answer 1

您可以使用

GTK_THEME

变量。例如：

GTK_THEME=Yaru frama-c-gui