…
..
tool-circle.png
tool-colorpicker.png
tool-colorswap.png
tool-dithering.png
tool-eraser.png
tool-lasso-select.png
tool-lighten.png
tool-move.png
tool-paint-bucket.png
tool-pen.png
tool-rectangle-select.png
tool-rectangle.png
tool-shape-select.png
tool-stroke.png
tool-vertical-mirror-pen.png