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

Method docChanged

MiniZincIDE/codeeditor.cpp:178–188  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

176}
177
178void CodeEditor::docChanged(bool c)
179{
180 int t = tabs == nullptr ? -1 : tabs->indexOf(this);
181 if (t != -1) {
182 QString title = tabs->tabText(t);
183 title = title.mid(0, title.lastIndexOf(" *"));
184 if (c)
185 title += " *";
186 tabs->setTabText(t,title);
187 }
188}
189
190void CodeEditor::contentsChanged()
191{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected