Wyclipse.UI: more little tweaks after whiley compiler refactoring.