On 12 Nov 2008, at 21:48, Shawn Walker wrote: > > I filed bug 4956 for the vanishing developer tools menu.
There wasn't any need, it's already been fixed :) <http://bugs.opensolaris.org/view_bug.do?bug_id=6765067> -- CALUM BENSON, Usability Engineer Sun Microsystems Ireland mailto:calum.benson at sun.com GNOME Desktop Team http://blogs.sun.com/calum +353 1 819 9771 Any opinions are personal and not necessarily those of Sun Microsystems
