global colored labels colored labels for symbols colored labels for basic blocks False General preferences True 800 500 dialog False vertical 2 False 8 8 8 8 end gtk-cancel True True True True True True 0 gtk-apply True True True True True True 1 False False 0 True True 200 True True True 8 8 8 in True True pref_list False column 0 False True True False 8 8 8 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 page0 page0 True True True True 1 button1 button2