False True False vertical 8 True False 8 True False Specify: False True 0 True False colored_label_types 0 True True 1 False True 0 True False 8 True True in True True True True 0 True False vertical icons False 4 True False True list-add False True True False True list-remove False True False True 1 True True 1 global colored labels colored labels for symbols colored labels for basic blocks