Method fontSizeChanged

src/frontend/widgets/LabelWidget.cpp:757–764

}

void LabelWidget::fontSizeChanged(int value) {
	CONDITIONAL_LOCK_RETURN;

	QFont font = m_label->teXFont();
	font.setPointSize(value);
	for (auto* label : m_labelsList)
		label->setTeXFont(font);
}

void LabelWidget::alignLeft() {
	CONDITIONAL_LOCK_RETURN;