void FastoScintilla::showOrHideLinesNumbers() {
updateLineNumbersMarginWidth();
if (!lineNumberMarginWidth()) {
setMarginWidth(0, lineNumberMarginWidth_);
} else {
setMarginWidth(0, 0);
}
}
void RoboScintilla::updateLineNumbersMarginWidth()
{
int numberOfDigits = getNumberOfDigits(lines());
_lineNumberMarginWidth = numberOfDigits * _lineNumberDigitWidth + rowNumberWidth;
// If line numbers margin already displayed, update its width
if (lineNumberMarginWidth()) {
setMarginWidth(0, _lineNumberMarginWidth);
}
}
void FastoScintilla::updateLineNumbersMarginWidth() {
int numberOfDigits = getNumberOfDigits(lines());
int tw = textWidth(QsciScintilla::STYLE_LINENUMBER, "0");
lineNumberMarginWidth_ = numberOfDigits * tw + rowNumberWidth;
// If line numbers margin already displayed, update its width
if (lineNumberMarginWidth()) {
setMarginWidth(0, lineNumberMarginWidth_);
}
}
void RoboScintilla::toggleLineNumbers()
{
setLineNumbers(!lineNumberMarginWidth());
}
