Fix styling when no documents#1271

Merged

jeremypw merged 4 commits intomasterfrom

followsystem-nodoc

Feb 20, 2023

Commits on Feb 17, 2023

Do set prefer-dark-style on startup if follow-system-style true
Jeremy Wootten
committed
Update style with no docs when follow-system-style changes
Jeremy Wootten
committed
SourceView no longer controls gtk_application_prefer_dark_theme setting
Jeremy Wootten
committed

Commits on Feb 20, 2023

Merge branch 'master' into followsystem-nodoc
zeebok
authored