Searched refs:oldDarkMode (Results 1 – 2 of 2) sorted by relevance
157 bool oldDarkMode = darkMode;160 if (oldDarkMode != darkMode && darkModeWatcher) {
6459 bool oldDarkMode = darkMode; in generalOptions() local6541 if(oldDarkMode != darkMode){ in generalOptions()11001 bool oldDarkMode=darkMode; in paletteChanged() local11003 if(newDarkMode != oldDarkMode && !configManager.useTexmakerPalette){ in paletteChanged()