Binary file src/Tools/blue_arrow.gif has changed
Binary file src/Tools/green_arrow.gif has changed
Binary file src/Tools/red_arrow.gif has changed