From 32f89cbbf53e8dd4cc64f56facfc1840fc8227f1 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Tue, 5 Sep 2023 11:13:58 +0200 Subject: [PATCH] Style only --- src/frontends/qt/GuiDocument.cpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/frontends/qt/GuiDocument.cpp b/src/frontends/qt/GuiDocument.cpp index 1948bb6287..35c8b3b891 100644 --- a/src/frontends/qt/GuiDocument.cpp +++ b/src/frontends/qt/GuiDocument.cpp @@ -508,13 +508,13 @@ bool PreambleModule::eventFilter(QObject * sender, QEvent * event) { if (sender == findLE) { if (event->type()==QEvent::KeyPress) { - QKeyEvent * key = static_cast(event); - if ( (key->key()==Qt::Key_Enter) || (key->key()==Qt::Key_Return) ) { - findText(); + QKeyEvent * key = static_cast(event); + if ((key->key() == Qt::Key_Enter) || (key->key() == Qt::Key_Return)) { + findText(); // Return true to filter out the event return true; - } - } + } + } } return QWidget::eventFilter(sender, event); } -- 2.39.5