From 954ac16c8cfa8e71e0f8fb1e42adf1ca171732c2 Mon Sep 17 00:00:00 2001 From: Rubidium Date: Thu, 29 Jan 2026 20:18:57 +0100 Subject: [PATCH] Codefix: remove implicit LaTeX dependency --- src/widget_type.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/widget_type.h b/src/widget_type.h index af5228ba3a..031a1027b2 100644 --- a/src/widget_type.h +++ b/src/widget_type.h @@ -129,8 +129,8 @@ using WidgetLookup = std::map; /** * Baseclass for nested widgets. - * @invariant After initialization, \f$current\_x = smallest\_x + n * resize\_x, for n \geq 0\f$. - * @invariant After initialization, \f$current\_y = smallest\_y + m * resize\_y, for m \geq 0\f$. + * @invariant After initialization: current_x = smallest_x + n * resize_x, for n >= 0. + * @invariant After initialization: current_y = smallest_y + m * resize_y, for m >= 0. * @ingroup NestedWidgets */ class NWidgetBase {