From ca5a75b23e88ec40ecf13acbae09ecaf3f0253e5 Mon Sep 17 00:00:00 2001 From: Daniel Ramoeller Date: Sat, 10 Jun 2023 10:22:26 +0200 Subject: [PATCH] Properly uncheck insert table toolbutton Fix for bug #12801 --- src/frontends/qt/InsertTableWidget.cpp | 7 +++++++ src/frontends/qt/InsertTableWidget.h | 1 + 2 files changed, 8 insertions(+) diff --git a/src/frontends/qt/InsertTableWidget.cpp b/src/frontends/qt/InsertTableWidget.cpp index 07ae06124f..325c0533b3 100644 --- a/src/frontends/qt/InsertTableWidget.cpp +++ b/src/frontends/qt/InsertTableWidget.cpp @@ -63,6 +63,13 @@ void InsertTableWidget::show(bool show) } +void InsertTableWidget::hideEvent(QHideEvent * event) +{ + QWidget::hideEvent(event); + visible(false); +} + + void InsertTableWidget::resetGeometry() { QPoint p = parentWidget()->mapToGlobal(parentWidget()->geometry().bottomLeft()); diff --git a/src/frontends/qt/InsertTableWidget.h b/src/frontends/qt/InsertTableWidget.h index 5e2e244d2a..4917392632 100644 --- a/src/frontends/qt/InsertTableWidget.h +++ b/src/frontends/qt/InsertTableWidget.h @@ -41,6 +41,7 @@ protected Q_SLOTS: void mouseReleaseEvent(QMouseEvent *) override; void mousePressEvent(QMouseEvent *) override; void paintEvent(QPaintEvent *) override; + void hideEvent(QHideEvent * event); private: //! update the geometry -- 2.39.5