mirror of
https://github.com/gryf/wmaker.git
synced 2026-10-08 18:52:31 +02:00
WPrefs: Make Dock preferences pane less busy and fix up some strings
Signed-off-by: BALATON Zoltan <balaton@eik.bme.hu>
This commit is contained in:
1 parent
6d5ffca076
commit
3a24237a8d
5 files changed
+34
-20
No files matched your search
@@ -223,8 +223,8 @@ Panel *InitWorkspace(WMWidget *parent)
|
||||
|
||||
panel->sectionName = _("Workspace Preferences");
|
||||
|
||||
panel->description = _("Workspace navigation features.\n"
|
||||
"You can also enable/disable the Dock and Clip here.");
|
||||
panel->description = _("Workspace navigation features\n"
|
||||
"and workspace name display settings.");
|
||||
|
||||
panel->parent = parent;
|
||||
|
||||
|
||||
Reference in new issue
Block a user