about-logo.png add-arc-tool.png add-circle-tool.png add-line-tool.png add-polygon-tool.png add-spline-tool.png atns-icon.png delete-tool.png dimension-tool.png fix-angle.png fix-length.png group-tool.png generic-tool.png rotate-tool.png snap-to-grid-tool.png splash.png trim-tool.png triangulate-tool.png quit.png zoom-in.png zoom-out.png eye-open.png eye-closed.png lock-open.png lock-closed.png connect-tool.png disconnect-tool.png file-new.png file-open.png file-close.png file-save.png file-save-as.png settings.png mirror-tool.png layer-add.png layer-delete.png layer-edit.png layer-up.png layer-down.png block-import.png