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.