[ivette] Fix the handling of settings on startup

See merge request frama-c/frama-c!3619

[wp] Minimize dune diff region

See merge request frama-c/frama-c!3618

[ptest] adds macro @PTEST_SESSION@

See merge request frama-c/frama-c!3617

The selected theme was not applied on startup. The fix consists on
calling the relevent ipc events at the start of the renderer to force
the application default settings.

- it works only when the function is unique currently
- only used for tests

[project] get rid of since-10-years-deprecated State_selection.Static

Closes #1103

See merge request frama-c/frama-c!3588

A dark mode for Ivette

See merge request frama-c/frama-c!3601

Maxime Jacquemin authored 3 years ago and Loïc Correnson committed 3 years ago

Avoiding potential futur errors.

Maxime Jacquemin authored 3 years ago and Loïc Correnson committed 3 years ago

Dive still needs some work.

Maxime Jacquemin authored 3 years ago and Loïc Correnson committed 3 years ago

There is some stuff to do to polish everything but it starts to look
good.

Maxime Jacquemin authored 3 years ago and Loïc Correnson committed 3 years ago

We simply modify the opacity of all the components when the window is
inactive. No need of special CSS for each component.