258
257
ws_name = wnck_workspace_get_name(wnck_workspace);
260
259
if(wnck_workspace == active_workspace) {
262
261
ws_label = g_strdup_printf(_("<b>Workspace %d</b>"), i+1);
264
263
gchar *ws_name_esc = g_markup_escape_text(ws_name, strlen(ws_name));