# Left-hand side of the top bar fn panel_left() { Box { space_evenly = false spacing = 0 halign = "start" height = config.panel_height xdi.workspacelist() } }