/gui/resources/

• ../
• cross.png
• exit.png
• new.png
• open.png
• resultset_first.png
• resultset_last.png
• resultset_next.png
• resultset_previous.png
• save.png
• shape_handles.png
• shape_square.png
• zoom.png
• zoom_in.png
• zoom_out.png