JANITORIAL: Fix style issues in WidgetEditBox