While the typing completion in the label expression field is nice, it is lousy for exploring available labels, since it only starts to offer completion after you have typed the first letter, which only lets you see them all if you go through all 26! An editable combo box listing all known label atoms would be more helpful. (Must be editable, since you can type in boolean expressions, and it is legal to request a label which does not correspond to any slave yet attached.)