From 9d8bef017bbe4946ba0423d5b57a6bbeb21813d4 Mon Sep 17 00:00:00 2001
From: Pavel Sanda <sanda@lyx.org>
Date: Mon, 3 Jul 2023 23:54:34 +0200
Subject: [PATCH] Add bug reference.

---
 src/frontends/qt/GuiWorkArea.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontends/qt/GuiWorkArea.cpp b/src/frontends/qt/GuiWorkArea.cpp
index 7433c28485..3cd5f47e52 100644
--- a/src/frontends/qt/GuiWorkArea.cpp
+++ b/src/frontends/qt/GuiWorkArea.cpp
@@ -653,7 +653,7 @@ void GuiWorkArea::contextMenuEvent(QContextMenuEvent * e)
 			}
 		}
 		if (e->reason() == QContextMenuEvent::Keyboard)
-			// Subtract the top margin
+			// Subtract the top margin, see #12811
 			pos.setY(pos.y() - d->buffer_view_->topMargin());
 
 		name = d->buffer_view_->contextMenu(pos.x(), pos.y());