From 3463406df7aa1472efad9643e6799d0f5e9d66e8 Mon Sep 17 00:00:00 2001 From: Connor E <38229097+c-edw@users.noreply.github.com> Date: Tue, 13 Nov 2018 08:46:16 +0000 Subject: [PATCH] Update userguide docs for strip_workspace_*. --- docs/userguide | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/docs/userguide b/docs/userguide index 635c7054..8a44e224 100644 --- a/docs/userguide +++ b/docs/userguide @@ -1628,14 +1628,16 @@ buttons. This is useful if you want to have a named workspace that stays in order on the bar according to its number without displaying the number prefix. When +strip_workspace_numbers+ is set to +yes+, any workspace that has a name of -the form "[n]:[NAME]" will display only the name. You could use this, for +the form "[n][:][NAME]" will display only the name. You could use this, for instance, to display Roman numerals rather than digits by naming your workspaces to "1:I", "2:II", "3:III", "4:IV", ... When +strip_workspace_name+ is set to +yes+, any workspace that has a name of -the form "[n]:[NAME]" will display only the number. +the form "[n][:][NAME]" will display only the number. -The default is to display the full name within the workspace button. +The default is to display the full name within the workspace button. Be aware +that the colon in the workspace name is optional, so `[n][NAME]` will also +have the the workspace name and number stripped correctly. *Syntax*: ------------------------------ -- 2.39.5