<file>fix-angle.png</file>
<file>fix-length.png</file>
<file>generic-tool.png</file>
<file>splash.png</file>
<file>quit.png</file>
<file>fix-angle.png</file>
<file>fix-length.png</file>
<file>generic-tool.png</file>
<file>splash.png</file>
<file>quit.png</file>