if (GlobalSettings::current_theme_is_dark()) {
header_palette.setColor(QPalette::Window,
QColor(255, 255, 255, ExpansionAreaHeaderAlpha));
if (GlobalSettings::current_theme_is_dark()) {
header_palette.setColor(QPalette::Window,
QColor(255, 255, 255, ExpansionAreaHeaderAlpha));