LadybirdBrowser/ladybird
1
1
Fork 0
mirror of https://github.com/LadybirdBrowser/ladybird.git synced 2025-01-04 01:05:58 +03:00
Code Issues Packages Projects Releases Wiki Activity

DisplaySettings: Rename "virtual desktops" => "workspaces"

Browse Source
This commit is contained in:
Andreas Kling 2021-07-31 20:08:15 +02:00
parent 67c0a2c5df
commit 05faca91d5
Notes: sideshowbarker 2024-07-18 07:40:39 +09:00 
Author: https://github.com/awesomekling
Commit: https://github.com/SerenityOS/serenity/commit/05faca91d52
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Userland/Applications/DisplaySettings/DesktopSettings.gml
View File

@ -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
}

2
Userland/Applications/DisplaySettings/main.cpp
View File

@ -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);
};