Editor GUI touchups: