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

Method addHtmlToSection

MiniZincIDE/outputwidget.cpp:367–384  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

365}
366
367void OutputWidget::addHtmlToSection(const QString& section, const QString& html)
368{
369 TextLayoutLock lock(this);
370 auto cursor = nextInsertAt();
371 _lastTraceLoc = "";
372 auto start = cursor.position();
373 addSection(section);
374 QTextBlockFormat f;
375 f.setProperty(Property::Section, section);
376 cursor.insertHtml(html);
377 auto end = cursor.position();
378 cursor.setPosition(start);
379 while (cursor.position() < end) {
380 cursor.mergeBlockFormat(f);
381 cursor.block().setVisible(_sections[section]);
382 cursor.movePosition(QTextCursor::NextBlock);
383 }
384}
385
386void OutputWidget::addStatistics(const QVariantMap& statistics)
387{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected