Method teXFontChanged

src/frontend/widgets/LabelWidget.cpp:862–867

}

void LabelWidget::teXFontChanged(const QFont& font) {
	CONDITIONAL_LOCK_RETURN;

	for (auto* label : m_labelsList)
		label->setTeXFont(font);
}

void LabelWidget::charMenu() {
	QMenu menu;