diff options
Diffstat (limited to 'Userland')
| -rw-r--r-- | Userland/Applications/DisplaySettings/DesktopSettings.gml | 6 | ||||
| -rw-r--r-- | Userland/Applications/DisplaySettings/main.cpp | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/Userland/Applications/DisplaySettings/DesktopSettings.gml b/Userland/Applications/DisplaySettings/DesktopSettings.gml index c35c47b7aa..0aa4154f4e 100644 --- a/Userland/Applications/DisplaySettings/DesktopSettings.gml +++ b/Userland/Applications/DisplaySettings/DesktopSettings.gml @@ -10,7 +10,7 @@ margins: [16, 24, 16, 6] } - title: "Virtual Desktops" + title: "Workspaces" shrink_to_fit: true @GUI::Widget { @@ -60,12 +60,12 @@ margins: [6, 6, 6, 6] } @GUI::Label { - text: "Use the Ctrl+Alt+Arrow hotkeys to move between virtual desktops." + text: "Use the Ctrl+Alt+Arrow hotkeys to move between workspaces." text_alignment: "TopLeft" word_wrap: true } @GUI::Label { - text: "Use the Ctrl+Shift+Alt+Arrow hotkeys to move between virtual desktops and move the active window." + text: "Use the Ctrl+Shift+Alt+Arrow hotkeys to move between\nworkspaces and move the active window." text_alignment: "TopLeft" word_wrap: true } diff --git a/Userland/Applications/DisplaySettings/main.cpp b/Userland/Applications/DisplaySettings/main.cpp index b8d58b0029..96f19dbbde 100644 --- a/Userland/Applications/DisplaySettings/main.cpp +++ b/Userland/Applications/DisplaySettings/main.cpp @@ -54,7 +54,7 @@ int main(int argc, char** argv) auto& background_settings_widget = tab_widget.add_tab<DisplaySettings::BackgroundSettingsWidget>("Background"); auto& font_settings_widget = tab_widget.add_tab<DisplaySettings::FontSettingsWidget>("Fonts"); auto& monitor_settings_widget = tab_widget.add_tab<DisplaySettings::MonitorSettingsWidget>("Monitor"); - auto& desktop_settings_widget = tab_widget.add_tab<DisplaySettings::DesktopSettingsWidget>("Desktop"); + auto& desktop_settings_widget = tab_widget.add_tab<DisplaySettings::DesktopSettingsWidget>("Workspaces"); tab_widget.on_change = [&](auto& widget) { monitor_settings_widget.show_screen_numbers(&widget == &monitor_settings_widget); }; |