From 375bb32a3dd487e12039bea24bd00d3a578f3005 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Tue, 5 Sep 2023 12:07:05 +0200 Subject: [PATCH] More style polishing --- src/frontends/qt/GuiDocument.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/frontends/qt/GuiDocument.cpp b/src/frontends/qt/GuiDocument.cpp index 46f2a9c18a..a452168487 100644 --- a/src/frontends/qt/GuiDocument.cpp +++ b/src/frontends/qt/GuiDocument.cpp @@ -506,7 +506,7 @@ PreambleModule::PreambleModule(QWidget * parent) bool PreambleModule::eventFilter(QObject * sender, QEvent * event) { if (sender == findLE) { - if (event->type()==QEvent::KeyPress) { + if (event->type() == QEvent::KeyPress) { QKeyEvent * key = static_cast(event); if ((key->key() == Qt::Key_Enter) || (key->key() == Qt::Key_Return)) { findText();