mcrl2::gui::qt Namespace Reference

Classes
class	CodeEditor
	The CodeEditor class defines a text editor for code (used for specification and properties) More...
class	CodeHighlighter
	The CodeHighlighter class defines a syntax highlighter for mCRL2 specifications or mu-calculus formulae. More...
class	ExtendedTabWidget
class	HelpMenu
class	HighlightingRule
	The HighlightingRule class defines a rule on how to highlight a given pattern of syntactic elements. More...
class	LineNumberArea
	The LineNumberArea class defines the area with line numbers in the code editor. More...
class	LogRelay
class	LogWidget
class	PersistentFileDialog
class	qt_tool
class	SettingBool
class	SettingColor
class	SettingEnum
class	SettingFloat
class	SettingInt

Functions
void	myMessageOutput (QtMsgType type, const QMessageLogContext &context, const QString &msg)
bool	hasLightBackground (QWidget *widget)
	hasLightBackground Checks 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
template<typename T , typename Iterator >
QList< T >	makeQList (Iterator begin, Iterator end)
	Implements QList<T>(begin, end) for Qt versions before 5.14.
template<typename T >
void	swapItemsAt (QList< T > &input, std::size_t from, std::size_t to)
	Implements QList<T>.swapItemsAt(from, to) for Qt versions before 5.13.

Function Documentation

hasLightBackground()

bool mcrl2::gui::qt::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

Definition at line 12 of file utilities.cpp.

makeQList()

template<typename T , typename Iterator >

QList< T > mcrl2::gui::qt::makeQList	(	Iterator	begin,
		Iterator	end
	)

Implements QList<T>(begin, end) for Qt versions before 5.14.

Definition at line 46 of file utilities.h.

myMessageOutput()

void mcrl2::gui::qt::myMessageOutput ( QtMsgType  type, const QMessageLogContext &  context, const QString &  msg  )

inline

Definition at line 101 of file qt_tool.h.

setTextEditTextColor()

void mcrl2::gui::qt::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

Definition at line 17 of file utilities.cpp.

swapItemsAt()

template<typename T >

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.

Definition at line 60 of file utilities.h.