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

Method setDocument

MiniZincIDE/codeeditor.cpp:124–147  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

122}
123
124void CodeEditor::setDocument(QTextDocument *document)
125{
126 if (document) {
127 delete highlighter;
128 highlighter = nullptr;
129 }
130 disconnect(this, &QPlainTextEdit::blockCountChanged, this, &CodeEditor::setViewportWidth);
131 disconnect(this, &QPlainTextEdit::updateRequest, this, &CodeEditor::setLineNumbers);
132 disconnect(this, &QPlainTextEdit::updateRequest, this, &CodeEditor::setDebugInfoPos);
133 disconnect(this, &QPlainTextEdit::cursorPositionChanged, this, &CodeEditor::cursorChange);
134 disconnect(this->document(), &QTextDocument::modificationChanged, this, &CodeEditor::docChanged);
135 QList<QTextEdit::ExtraSelection> noSelections;
136 setExtraSelections(noSelections);
137 QPlainTextEdit::setDocument(document);
138 if (document) {
139 QFont f= font();
140 highlighter = new Highlighter(f, theme, darkMode, document);
141 }
142 connect(this, &QPlainTextEdit::blockCountChanged, this, &CodeEditor::setViewportWidth);
143 connect(this, &QPlainTextEdit::updateRequest, this, &CodeEditor::setLineNumbers);
144 connect(this, &QPlainTextEdit::updateRequest, this, &CodeEditor::setDebugInfoPos);
145 connect(this, &QPlainTextEdit::cursorPositionChanged, this, &CodeEditor::cursorChange);
146 connect(this->document(), &QTextDocument::modificationChanged, this, &CodeEditor::docChanged);
147}
148
149void CodeEditor::setTheme(const Theme& _theme, bool _darkMode)
150{

Callers 4

closeEventMethod · 0.80
saveFileMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected