IDE startup theme based on OS theme#1160

Merged

francescospissu merged 3 commits intomainfrom

fspissu/startup-theme

Jul 18, 2022

Commits on Jul 8, 2022

add patch for setting IDE startup theme based on OS theme
francescospissu
committed

Commits on Jul 13, 2022

Patched the default theme behavior.

Akos Kitta
authored and
francescospissu
committed

Commits on Jul 14, 2022

add custom themes in register
francescospissu
committed