Update userguide docs for strip_workspace_*.

diff --git a/docs/userguide b/docs/userguide
index 635c7054194b5b15bc4b93f7f4cedd476863c081..8a44e22481722848794306e82c323d242307fe21 100644 (file)
--- 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*:
 ------------------------------