| 146 | } |
| 147 | |
| 148 | void CodeEditor::preferencesUpdated() |
| 149 | { |
| 150 | auto& p=Preferences::getInstance(); |
| 151 | QFont font=p.getEditorFont(); |
| 152 | font.setFixedPitch(true); |
| 153 | setFont(font); |
| 154 | showTooltips = p.getShowTooltips(); |
| 155 | highlightLine = p.getHighlightLine(); |
| 156 | highlightCurrentLine(); |
| 157 | } |
| 158 | |
| 159 | void CodeEditor::setModuleNames(const QHash<QString,Module*>& names) |
| 160 | { |
nothing calls this directly
no test coverage detected