From 37811b67b03f8d40fc884e8888de9e2f923b5b9c Mon Sep 17 00:00:00 2001 From: =?utf8?q?Ingo=20B=C3=BCrk?= Date: Wed, 1 Apr 2015 17:47:17 +0200 Subject: [PATCH] Update the definition of the workspace spec and describe it. --- docs/hacking-howto | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/docs/hacking-howto b/docs/hacking-howto index 8d459791..9fc5c631 100644 --- a/docs/hacking-howto +++ b/docs/hacking-howto @@ -729,11 +729,14 @@ features. This is its definition: # workspace next|prev|next_on_output|prev_on_output # workspace back_and_forth # workspace +# workspace number state WORKSPACE: direction = 'next_on_output', 'prev_on_output', 'next', 'prev' -> call cmd_workspace($direction) 'back_and_forth' -> call cmd_workspace_back_and_forth() + 'number' + -> WORKSPACE_NUMBER workspace = string -> call cmd_workspace_name($workspace) ---------------------------------------------------------------- @@ -772,6 +775,10 @@ workspace :: single quotes), but just called string. Other possible tokens are word (the same as string, but stops matching at a whitespace) and end (matches the end of the input). +workspace number :: + The workspace command has to be followed by the keyword +number+. It + then transitions into the state +WORKSPACE_NUMBER+, where the actual + parameter will be read. === Introducing a new command -- 2.39.5