From 4547077120e0f3f9655da6aac07fc37655221ca0 Mon Sep 17 00:00:00 2001 From: Thomas Jentzsch Date: Sun, 27 Jun 2021 09:31:52 +0200 Subject: [PATCH] added DEGREE and ELLIPSIS chars to allowed PopUpWidget chars --- src/gui/PopUpWidget.cxx | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/gui/PopUpWidget.cxx b/src/gui/PopUpWidget.cxx index 766cb0c87..2d33a176f 100644 --- a/src/gui/PopUpWidget.cxx +++ b/src/gui/PopUpWidget.cxx @@ -39,6 +39,9 @@ PopUpWidget::PopUpWidget(GuiObject* boss, const GUI::Font& font, _textcolor = kTextColor; _textcolorhi = kTextColor; // do not highlight the label + setTextFilter([](char c) { + return isprint(c) && c != '\"' || c == '\x1c' || c == '\x1d'; // DEGREE || ELLIPSIS + }); setEditable(false); if(!_label.empty() && _labelWidth == 0)