I want to change to light mode in the frama-c GUI, which opens in dark mode.
Thought it could be done by writing
frama-c-gui -gui-theme light as indicated in link to tutorial but I get the following error.
what i tried
Am I doing something wrong?
New contributor
jairo miguel marulanda is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.