goblint / GobPie

Goblint IDE integration via MagpieBridge
MIT License
5 stars 3 forks source link

Dark mode for CFGs #64

Open karoliineh opened 1 year ago

karoliineh commented 1 year ago

It would be nice to have a dark mode for the CFGs. Ideally, the extension would entirely conform to the selected theme in VSCode.

What we have tried so far: