Rename workspaces in startup sequences.

When renaming workspaces, any workspace names in pending startup
sequences also need to be renamed.
This commit is contained in:
Michael Hofmann
2015-03-07 00:13:54 +01:00
parent 5776edcc84
commit 44f748a663
3 changed files with 24 additions and 0 deletions

View File

@ -2044,6 +2044,8 @@ void cmd_rename_workspace(I3_CMD, char *old_name, char *new_name) {
ewmh_update_desktop_names();
ewmh_update_desktop_viewport();
ewmh_update_current_desktop();
startup_sequence_rename_workspace(old_name, new_name);
}
/*