From 582eb7cc03953c85ac8888b76f24867feac33d90 Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Sat, 15 Jul 2023 15:20:28 +0200
Subject: [PATCH] add comment

---
 src/insets/InsetSpecialChar.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/insets/InsetSpecialChar.cpp b/src/insets/InsetSpecialChar.cpp
index 5983c07d64..f930ed7b67 100644
--- a/src/insets/InsetSpecialChar.cpp
+++ b/src/insets/InsetSpecialChar.cpp
@@ -243,6 +243,8 @@ void InsetSpecialChar::metrics(MetricsInfo & mi, Dimension & dim) const
 			frontend::NullPainter np;
 			PainterInfo pi(mi.base.bv, np);
 			pi.base.font = mi.base.font;
+			// We rely on the fact that drawLogo updates x to compute
+			// the width without code duplication.
 			drawLogo(pi, dim.wid, 0, kind_);
 			break;
 	}