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

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