Index: sources/gui/qml/components/HeaderBar.qml
===================================================================
diff -u -rbea36be2766046e63c4e82539a630b5cee7ce1c6 -r89be2d248cac3f748b704cd62408cf8911991039
--- sources/gui/qml/components/HeaderBar.qml	(.../HeaderBar.qml)	(revision bea36be2766046e63c4e82539a630b5cee7ce1c6)
+++ sources/gui/qml/components/HeaderBar.qml	(.../HeaderBar.qml)	(revision 89be2d248cac3f748b704cd62408cf8911991039)
@@ -26,16 +26,26 @@
     MouseArea { id: _mouseArea
         anchors.fill    : parent
         // TODO: disable this later. this is only for diagnostic purpose.
-        onDoubleClicked : {
-            if ( _GuiView.dryDemoMode ) {
-                let dryDemoTempID = 99
-                let id = vConfirm.id
-                vConfirm.id = dryDemoTempID
-                vConfirm.doConfirm( true  )
-                vConfirm.id = id
+        property real lastClickTime: 0
+        property int doubleClickThreshold: 500 // ms
+
+        onClicked : {
+            const now = Date.now()
+            if (now - _mouseArea.lastClickTime < _mouseArea.doubleClickThreshold) {
+                if ( _GuiView.dryDemoMode ) {
+                    let dryDemoTempID = 99
+                    let id = vConfirm.id
+                    vConfirm.id = dryDemoTempID
+                    vConfirm.doConfirm( true  )
+                    vConfirm.id = id
+                }
+                else {
+                    _diagnosticsDialog.open()
+                }
+                lastClickTime = 0
             }
             else {
-                _diagnosticsDialog.open()
+                lastClickTime = now
             }
         }
     }