Tweaking operator_assignment widget