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

Method resizeEvent

MiniZincIDE/codeeditor.cpp:374–387  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

372
373
374void CodeEditor::resizeEvent(QResizeEvent *e)
375{
376 QPlainTextEdit::resizeEvent(e);
377
378 QRect cr = contentsRect();
379 lineNumbers->setGeometry(QRect(cr.left(), cr.top()+debugInfoOffset(), lineNumbersWidth(), cr.height()));
380 if (loadContentsButton) {
381 loadContentsButton->move(cr.left()+lineNumbersWidth(), cr.top());
382 }
383
384 debugInfo->setGeometry(QRect(cr.right()-debugInfoWidth(), cr.top()+debugInfoOffset(), debugInfoWidth(), cr.height()));
385
386 editorHeader->setGeometry(QRect(cr.left(), cr.top(), cr.width(), debugInfoOffset()));
387}
388
389void CodeEditor::showEvent(QShowEvent *event)
390{

Callers

nothing calls this directly

Calls 3

topMethod · 0.80
heightMethod · 0.45
widthMethod · 0.45

Tested by

no test coverage detected