From 4c72def295773038c454e60abee76d8e5e6e0e22 Mon Sep 17 00:00:00 2001 From: Jean-Marc Lasgouttes Date: Mon, 25 Nov 2024 17:01:30 +0100 Subject: [PATCH] Forgot that --- src/frontends/qt/GuiWorkArea.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/frontends/qt/GuiWorkArea.cpp b/src/frontends/qt/GuiWorkArea.cpp index 47ab40d427..609efbb0e3 100644 --- a/src/frontends/qt/GuiWorkArea.cpp +++ b/src/frontends/qt/GuiWorkArea.cpp @@ -975,7 +975,6 @@ void GuiWorkArea::generateSyntheticMouseEvent() return; TextMetrics & tm = d->buffer_view_->textMetrics(text); - // FIXME: use TextMetrics::setCursorFromCoordinates. // Quit gracefully if there are no metrics, since otherwise next // line would crash (bug #10324). // This situation seems related to a (not yet understood) timing problem.