From a9640c88980b54e17df81ca887a1a0eaf87d8236 Mon Sep 17 00:00:00 2001 From: Johannes Lorenz Date: Thu, 26 Dec 2019 18:23:52 +0100 Subject: [PATCH] Comment-out deprecated attribute It may be valid, but fails our CI --- include/MainWindow.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/include/MainWindow.h b/include/MainWindow.h index 3de847f63..d1fe3eb4e 100644 --- a/include/MainWindow.h +++ b/include/MainWindow.h @@ -126,7 +126,8 @@ public: void clearKeyModifiers(); - [[deprecated]] // TODO Remove this function, since m_shift can get stuck down. + // TODO Remove this function, since m_shift can get stuck down. + // [[deprecated]] bool isShiftPressed() { return m_keyMods.m_shift;