ICODE-ADC/lammps
4
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

implement setFont() method that sets the font for the entire editor window

Browse Source
This commit is contained in:
Axel Kohlmeyer
2023-08-24 21:25:14 -04:00
parent c7a0e5f0e1
commit 3a7efdfb8c
3 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tools/lammps-gui/codeeditor.cpp
View File

@ -88,6 +88,12 @@ int CodeEditor::lineNumberAreaWidth()
return space; return space;
} }
void CodeEditor::setFont(const QFont &newfont)
{
lineNumberArea->setFont(newfont);
document()->setDefaultFont(newfont);
}
void CodeEditor::updateLineNumberAreaWidth(int /* newBlockCount */) void CodeEditor::updateLineNumberAreaWidth(int /* newBlockCount */)
{ {
setViewportMargins(lineNumberAreaWidth(), 0, 0, 0); setViewportMargins(lineNumberAreaWidth(), 0, 0, 0);

2
tools/lammps-gui/codeeditor.h
View File

@ -14,6 +14,7 @@
#ifndef CODEEDITOR_H #ifndef CODEEDITOR_H
#define CODEEDITOR_H #define CODEEDITOR_H
#include <QFont>
#include <QMap> #include <QMap>
#include <QPlainTextEdit> #include <QPlainTextEdit>
#include <QShortcut> #include <QShortcut>
@ -27,6 +28,7 @@ public:
void lineNumberAreaPaintEvent(QPaintEvent *event); void lineNumberAreaPaintEvent(QPaintEvent *event);
int lineNumberAreaWidth(); int lineNumberAreaWidth();
void setFont(const QFont &newfont);
protected: protected:
void resizeEvent(QResizeEvent *event) override; void resizeEvent(QResizeEvent *event) override;

2
tools/lammps-gui/lammpsgui.cpp
View File

@ -189,7 +189,7 @@ LammpsGui::LammpsGui(QWidget *parent, const char *filename) :
text_font.setStyleHint(QFont::Monospace, QFont::PreferOutline); text_font.setStyleHint(QFont::Monospace, QFont::PreferOutline);
text_font.fromString(settings.value("textfont", text_font.toString()).toString()); text_font.fromString(settings.value("textfont", text_font.toString()).toString());
settings.setValue("textfont", text_font.toString()); settings.setValue("textfont", text_font.toString());
ui->textEdit->document()->setDefaultFont(text_font); ui->textEdit->setFont(text_font);
ui->textEdit->setMinimumSize(600, 400); ui->textEdit->setMinimumSize(600, 400);
update_recents(); update_recents();