mcrl2/gui/utilities.h¶
Include file:
#include "mcrl2/gui/utilities.h"
Functions¶
-
bool
hasLightBackground(QWidget *widget)¶ hasLightBackground Checks whether a widget has a light background
Parameters:
- widget The widget to check the background of
Returns: Whether a widget has a light background
-
QList<T>
mcrl2::gui::qt::makeQList(Iterator begin, Iterator end)¶ Implements QList<T>(begin, end) for Qt versions before 5.14.
-
void
setTextEditTextColor(QTextEdit *textEdit, QColor light, QColor dark)¶ setTextEditTextColor Sets the text colour of a QTextEdit depending on whether the QTextEdit has a light background
Parameters:
- textEdit The QTextEdit to set the text colour of
- light The text colour in case of a light background
- dark The text colour in case of a dark backgorund
-
void
mcrl2::gui::qt::swapItemsAt(QList<T> &input, std::size_t from, std::size_t to)¶ Implements QList<T>.swapItemsAt(from, to) for Qt versions before 5.13.
