MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / updateCodeEditorFont

Method updateCodeEditorFont

MiniZincIDE/preferencesdialog.cpp:167–172  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

165}
166
167void PreferencesDialog::updateCodeEditorFont()
168{
169 auto editorFont = ui->fontComboBox->currentFont();
170 editorFont.setPointSize(ui->fontSize_spinBox->value() * ui->zoom_spinBox->value() / 100);
171 _ce->setEditorFont(editorFont);
172}
173
174void PreferencesDialog::on_theme_comboBox_currentIndexChanged(int index)
175{

Callers

nothing calls this directly

Calls 2

valueMethod · 0.45
setEditorFontMethod · 0.45

Tested by

no test coverage detected