True False edit-redo True False edit-undo True False zoom-in True False zoom-out 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 10 10 10 10 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 6 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 15 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 12 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 False 2 True False 2 True True False Size False True 0 True True True zoom-out True False False 1 True True True True False True 2 True True True zoom-in True False False 3 False True 3 False False True False center center True False GDK_POINTER_MOTION_MASK | GDK_BUTTON1_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 10 10 10 10 True True -1