True False edit-redo True False edit-undo True False False center False True False True False start True False False False True edit-undo True True True 0 True True False False False True edit-redo True True True 1 True True False 5 True False False True 0 Clear True False True False True 1 2 True False Copy True False True False True 1 Save True False True False True 2 end 1 True False 100 80 True True False vertical True False True True False B False True 0 True False T False True 1 True False R False True 2 True False O False True 3 True False A False True 4 False True 0 True False 15 True True True False True False False True 0 True True False False brush False True 1 True True False False brush False True 2 True True False False brush False True 3 True True False False brush False True 4 False True 1 True False center True False start baseline 10 True True True center False True False False True 0 True True True center False color-red-button True False False True 1 True True True center False color-red-button True False False True 2 False True 0 True False 50 5 True True True center False color-red-button True False gtk-color-picker False True 0 True False True True center rgb(193,125,17) False True 1 False True 1 False True 2 False False 100 80 True False 10 vertical True False GDK_POINTER_MOTION_MASK | GDK_BUTTON1_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK False True 1 False False -1