Permalink
Browse files

Try to propagate the font from the editor into the gutter's font

  • Loading branch information...
aelliott committed Apr 17, 2013
1 parent 6b79454 commit 403b591598c9be8a50d0eb6bfe35cbe2807f7c1b
Showing with 2 additions and 0 deletions.
  1. +1 −0 src/developer/codeeditor.cpp
  2. +1 −0 src/developer/conditioneditor.cpp
@@ -93,6 +93,7 @@ void CodeEditor::drawGutter(QPaintEvent *event)
if(!painter.isActive())
return;
painter.setFont(font());
painter.fillRect(event->rect(), Qt::lightGray);
painter.setPen(QColor(0x4f,0x4f,0x4f));
@@ -29,6 +29,7 @@ ConditionEditor::ConditionEditor(QWidget *parent)
QSettings settings;
QFont font = settings.value("Editor/Font", EDITOR_DEFAULT_FONT).value<QFont>();
setFont(font);
updateGutterWidth(blockCount());
_highlighter = new ConditionHighlighter(this->document());
_highlighter->setTokens(_tokens);

0 comments on commit 403b591

Please sign in to comment.