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

Method setLineNumbers

MiniZincIDE/codeeditor.cpp:347–356  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

345
346
347void CodeEditor::setLineNumbers(const QRect &rect, int dy)
348{
349 if (dy)
350 lineNumbers->scroll(0, dy);
351 else
352 lineNumbers->update(0, rect.y(), lineNumbers->width(), rect.height());
353
354 if (rect.contains(viewport()->rect()))
355 setViewportWidth(0);
356}
357
358void CodeEditor::setDebugInfoPos(const QRect &rect, int dy)
359{

Callers

nothing calls this directly

Calls 4

containsMethod · 0.80
updateMethod · 0.45
widthMethod · 0.45
heightMethod · 0.45

Tested by

no test coverage detected