From a29f433dedf281cc558bf27c9496b80bb91f949b Mon Sep 17 00:00:00 2001 From: Jacek Jendrzej Date: Wed, 17 Aug 2016 17:23:08 +0200 Subject: [PATCH] src/gui/widget/menue.cpp check if pointer is not NULL --- src/gui/widget/menue.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/gui/widget/menue.cpp b/src/gui/widget/menue.cpp index 2776f43d9..5d6c73335 100644 --- a/src/gui/widget/menue.cpp +++ b/src/gui/widget/menue.cpp @@ -1428,7 +1428,8 @@ void CMenuWidget::paintHint(int pos) /* clear info box */ if ((info_box) && (pos < 0)) savescreen ? info_box->hide() : info_box->kill(); - hint_painted = info_box->isPainted(); + if (info_box) + hint_painted = info_box->isPainted(); } if (pos < 0) return;