void FastoScintilla::showOrHideLinesNumbers() {
updateLineNumbersMarginWidth();
if (!lineNumberMarginWidth()) {
setMarginWidth(0, lineNumberMarginWidth_);
} else {
setMarginWidth(0, 0);
}
}
RoboScintilla::RoboScintilla(QWidget *parent) : QsciScintilla(parent),
_ignoreEnterKey(false),
_ignoreTabKey(false),
_lineNumberDigitWidth(0),
_lineNumberMarginWidth(0)
{
setAutoIndent(true);
setIndentationsUseTabs(false);
setIndentationWidth(indentationWidth);
setUtf8(true);
setMarginWidth(1, 0);
setCaretForegroundColor(caretForegroundColor);
setMatchedBraceForegroundColor(matchedBraceForegroundColor); //1AB0A6
setMatchedBraceBackgroundColor(marginsBackgroundColor);
setContentsMargins(0, 0, 0, 0);
setViewportMargins(3, 3, 3, 3);
QFont ourFont = GuiRegistry::instance().font();
setMarginsFont(ourFont);
setMarginLineNumbers(0, true);
setMarginsBackgroundColor(QColor(53, 56, 58));
setMarginsForegroundColor(QColor(173, 176, 178));
SendScintilla(QsciScintilla::SCI_STYLESETFONT, 1, ourFont.family().data());
SendScintilla(QsciScintilla::SCI_SETHSCROLLBAR, 0);
setWrapMode((QsciScintilla::WrapMode)QsciScintilla::SC_WRAP_NONE);
setHorizontalScrollBarPolicy(Qt::ScrollBarAlwaysOff);
setVerticalScrollBarPolicy(Qt::ScrollBarAsNeeded);
// Cache width of one digit
#ifdef Q_OS_WIN
_lineNumberDigitWidth = rowNumberWidth;
#else
_lineNumberDigitWidth = textWidth(STYLE_LINENUMBER, "0");
#endif
updateLineNumbersMarginWidth();
setLineNumbers(AppRegistry::instance().settingsManager()->lineNumbers());
setUtf8(true);
VERIFY(connect(this, SIGNAL(linesChanged()), this, SLOT(updateLineNumbersMarginWidth())));
}
