summaryrefslogtreecommitdiff
path: root/Userland/Applications
diff options
context:
space:
mode:
authorAndreas Kling <kling@serenityos.org>2021-07-31 20:08:15 +0200
committerAndreas Kling <kling@serenityos.org>2021-07-31 20:09:27 +0200
commit05faca91d52ce16b4bc56c1ac42a612d4de72821 (patch)
tree01a580a86d636bec3f179646128889a4aaadb1dc /Userland/Applications
parent67c0a2c5df351c6c248fb07f1382ab1b499afe1a (diff)
downloadserenity-05faca91d52ce16b4bc56c1ac42a612d4de72821.zip
DisplaySettings: Rename "virtual desktops" => "workspaces"
Diffstat (limited to 'Userland/Applications')
-rw-r--r--Userland/Applications/DisplaySettings/DesktopSettings.gml6
-rw-r--r--Userland/Applications/DisplaySettings/main.cpp2
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);
};