Make workspace_next_name work with spaces

Browse source

`workspace_next_name` parses workspace commands to find the default
workspace names. It handled " " as a separator, which prevents the use
of workspace names with spaces.

...

This commit is contained in:

lbonn 2017-10-06 14:37:35 +02:00

parent 6197fff0b4

commit a7e1a0eea9

1 changed files with 1 additions and 1 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files