[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-patch-tracker] [patch #8614] New gui icons
From: |
John W. Eaton |
Subject: |
[Octave-patch-tracker] [patch #8614] New gui icons |
Date: |
Wed, 04 Mar 2015 13:31:52 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Firefox/31.0 Iceweasel/31.2.0 |
Follow-up Comment #12, patch #8614 (project octave):
If using png icons is much simpler, then I'd say generate and use those
instead.
Also, can we eliminate all the obsolete icons in the source tree? Is it easy
to find all icons which are actually used now and compare against the icons in
the source tree?
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/patch/?8614>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [Octave-patch-tracker] [patch #8614] New gui icons, Dan Sebald, 2015/03/01
- [Octave-patch-tracker] [patch #8614] New gui icons, Torsten, 2015/03/01
- [Octave-patch-tracker] [patch #8614] New gui icons, Dan Sebald, 2015/03/01
- [Octave-patch-tracker] [patch #8614] New gui icons, John W. Eaton, 2015/03/03
- [Octave-patch-tracker] [patch #8614] New gui icons, Dan Sebald, 2015/03/03
- [Octave-patch-tracker] [patch #8614] New gui icons, Torsten, 2015/03/03
- [Octave-patch-tracker] [patch #8614] New gui icons, Dan Sebald, 2015/03/03
- [Octave-patch-tracker] [patch #8614] New gui icons, Dan Sebald, 2015/03/03
- [Octave-patch-tracker] [patch #8614] New gui icons, Torsten, 2015/03/04
- [Octave-patch-tracker] [patch #8614] New gui icons, Dan Sebald, 2015/03/04
- [Octave-patch-tracker] [patch #8614] New gui icons,
John W. Eaton <=
- [Octave-patch-tracker] [patch #8614] New gui icons, Torsten, 2015/03/04
- [Octave-patch-tracker] [patch #8614] New gui icons, Torsten, 2015/03/04