Hi all, a really important topic: with respect to http://bugzilla.scilab.org/show_bug.cgi?id=3105#c10, any opinion about size and appearance of the editor icon in the toolbar? Enrico