From 8ae5f0c167c4e12300a47dc8edba0e6dbcdd1fb5 Mon Sep 17 00:00:00 2001 From: hasecilu Date: Wed, 4 Sep 2024 14:26:50 -0600 Subject: [PATCH] Gui: Add "px" suffix on preference page as width unit --- src/Gui/PreferencePages/DlgSettingsNotificationArea.ui | 3 +++ src/Gui/PreferencePages/DlgSettingsPythonConsole.ui | 3 +++ 2 files changed, 6 insertions(+) diff --git a/src/Gui/PreferencePages/DlgSettingsNotificationArea.ui b/src/Gui/PreferencePages/DlgSettingsNotificationArea.ui index 3b3ddd961a..3e0ce0013e 100644 --- a/src/Gui/PreferencePages/DlgSettingsNotificationArea.ui +++ b/src/Gui/PreferencePages/DlgSettingsNotificationArea.ui @@ -210,6 +210,9 @@ Width of the notification in pixels + + px + 300 diff --git a/src/Gui/PreferencePages/DlgSettingsPythonConsole.ui b/src/Gui/PreferencePages/DlgSettingsPythonConsole.ui index a8a896bdfe..91afbf2f21 100644 --- a/src/Gui/PreferencePages/DlgSettingsPythonConsole.ui +++ b/src/Gui/PreferencePages/DlgSettingsPythonConsole.ui @@ -90,6 +90,9 @@ horizontal space in Python console The interval at which the profiler runs when there's Python code running (to keep the GUI responding). Set to 0 to disable. + + ms + 0