config: support <desktops number="">

diff --git a/src/config/rcxml.c b/src/config/rcxml.c
index 1a384c9041d13b4380b0743253168c03e9474a2a..2073ebf5f4e5e608313349f1c3d5c984ea8fc278 100644 (file)
--- a/src/config/rcxml.c
+++ b/src/config/rcxml.c
@@ -1051,11 +1051,11 @@ post_processing(void)
        int nr_workspaces = wl_list_length(&rc.workspace_config.workspaces);
        if (nr_workspaces < rc.workspace_config.min_nr_workspaces) {
                struct workspace *workspace;
+               char workspace_name[32];
                for (int i = nr_workspaces; i < rc.workspace_config.min_nr_workspaces; i++) {
                        workspace = znew(*workspace);
-                       char *workspace_name = malloc(sizeof(char) * 32);
-                       snprintf(workspace_name, 32, "Workspace %d", i + 1);
-                       workspace->name = workspace_name;
+                       snprintf(workspace_name, sizeof(workspace_name), "Workspace %d", i + 1);
+                       workspace->name = xstrdup(workspace_name);
                        wl_list_append(&rc.workspace_config.workspaces, &workspace->link);
                }
        }