# HG changeset patch
# User Chris Cannam
# Date 1579540665 0
# Node ID 4eda6ba5b5d8dd6741049c91f73269bc8a773857
# Parent  c5ee0746bdefdeb79260df85886f8685c9da1998
More sensible name

diff -r c5ee0746bdef -r 4eda6ba5b5d8 system/System.cpp
--- a/system/System.cpp	Fri Jan 17 21:36:07 2020 +0000
+++ b/system/System.cpp	Mon Jan 20 17:17:45 2020 +0000
@@ -339,9 +339,9 @@
 }
 
 bool
-OSThemeIsDark()
+OSReportsDarkThemeActive()
 {
-    SVCERR << "OSThemeIsDark() called" << endl;
+    SVCERR << "OSReportsDarkThemeActive() called" << endl;
 #ifdef _MSC_VER
     using namespace winrt::Windows::UI::ViewManagement;
     UISettings settings;
diff -r c5ee0746bdef -r 4eda6ba5b5d8 system/System.h
--- a/system/System.h	Fri Jan 17 21:36:07 2020 +0000
+++ b/system/System.h	Mon Jan 20 17:17:45 2020 +0000
@@ -166,7 +166,7 @@
 // Return true if the OS desktop is set to use a dark mode
 // theme. Return false if it is set to a light theme or if the theme
 // is unknown.
-extern bool OSThemeIsDark();
+extern bool OSReportsDarkThemeActive();
 
 extern void StoreStartupLocale();
 extern void RestoreStartupLocale();