[Gretl-devel] Gretl icon view enhancement