* Renames workspaces that are mentioned in the startup sequences.
*
*/
-void startup_sequence_rename_workspace(char *old_name, char *new_name);
+void startup_sequence_rename_workspace(const char *old_name, const char *new_name);
/**
* Gets the stored startup sequence for the _NET_STARTUP_ID of a given window.