From a55366e86e31eedcf560d82510b892feea8a87f8 Mon Sep 17 00:00:00 2001 From: luzpaz Date: Sat, 16 Aug 2025 12:28:32 +0000 Subject: [PATCH] GUI: start cleaning up Parameter Editor Begins to address a few issues brought up in #17351 --- src/Gui/Dialogs/DlgParameter.ui | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Gui/Dialogs/DlgParameter.ui b/src/Gui/Dialogs/DlgParameter.ui index b52db358d5..5f3384da82 100644 --- a/src/Gui/Dialogs/DlgParameter.ui +++ b/src/Gui/Dialogs/DlgParameter.ui @@ -60,14 +60,14 @@ - Quick search + Search - Type in a group name to find it + Enter a group name to search Search group @@ -83,7 +83,7 @@ - Find… + Find @@ -106,7 +106,7 @@ - Save to Disk + Save Alt+C