Oct. 2, 2013
9:42 a.m.
I got a package tree working for the environment selector I built ;), so we have almost everything ready. And yes, we should have activated the eclipse icons by default a long time ago :P On 2013-10-02, at 11:34, Esteban Lorenzano <estebanlm@gmail.com> wrote:
yes... I always said that a toolbar is a toolbar, not something weird in the middle :) also I like what they did with the icons (still like more the eclipsepack, thought)
Esteban
On Oct 2, 2013, at 11:04 AM, Stéphane Ducasse <stephane.ducasse@inria.fr> wrote:
http://linkuistics.com/wp-content/uploads/2009/02/stardustob.png
I like the way recently modified is on top of all packages and I like the way categories are shown.
stef