HenshinEditor: improved node layout - more compact