codenvy/ide — pull request #181 by stephanedaviet (2014-09-15 10:29:53+00:00)
Title: Fix #IDEUI-209 icon cannot be update on parts

Uniformize icon handling on tab between editor and other parts and fix
the icon refreshing bug. Some little clean-up in CSS too.