workbench: use symbolic icon for editor.