MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / setTheme

Method setTheme

MiniZincIDE/outputwidget.cpp:110–120  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

108}
109
110void OutputWidget::setTheme(const Theme& theme, bool darkMode)
111{
112 _defaultCharFormat.setForeground(theme.textColor.get(darkMode));
113 _noticeCharFormat.setForeground(theme.functionColor.get(darkMode));
114 _errorCharFormat.setForeground(theme.errorColor.get(darkMode));
115 _errorCharFormat.setForeground(theme.errorColor.get(darkMode));
116 _infoCharFormat.setForeground(Qt::gray);
117 _commentCharFormat.setForeground(theme.commentColor.get(darkMode));
118
119 ui->textBrowser->viewport()->setStyleSheet(theme.styleSheet(darkMode));
120}
121
122void OutputWidget::scrollToBottom()
123{

Callers

nothing calls this directly

Calls 2

styleSheetMethod · 0.80
getMethod · 0.45

Tested by

no test coverage detected