theme property

DevConsoleTheme theme

The console's starting theme. Users can flip it at runtime from the console app bar; this only sets what it opens with.

Implementation

final DevConsoleTheme theme;