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

Method setEditorFont

MiniZincIDE/codeeditor.cpp:686–693  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

684}
685
686void CodeEditor::setEditorFont(QFont& font)
687{
688 setFont(font);
689 document()->setDefaultFont(font);
690 highlighter->setEditorFont(font);
691 setIndentSize(indentSize);
692 highlighter->rehighlight();
693}
694
695bool CodeEditor::eventFilter(QObject *, QEvent *ev)
696{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected