Proposed patch to workspace ordering by index

I have attached a proposed patch for workspace ordering by index. Currently, when using dynamic workspaces, newly created workspaces appear before configured ones in various default orderings. This is because new workspaces, which do not appear in the config file, are assigned the index Nothing (rather than, e.g. Just 4). In particular when using DynamicWorkspaces' "toNthWorkspace", you would find that, say, your 2nd workspace changes each time you add a new workspace -- so you can't reliably have, e.g., your email on workspace 2. A more general solution would be to add custom sortings to the methods in DynamicWorkspaces (and similarly the hooks for xmobar &c). However, i think putting "Nothing" last is more natural as a default. Matt
participants (1)
-
Matthew Hague