about-logo.png add-arc-tool.png add-circle-tool.png add-line-tool.png add-polygon-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 quit.png zoom-in.png zoom-out.png eye-open.png eye-closed.png