Use ve.ui.PushButton instead of ve.ui.Button in ve.ui.SyntaxHighlightDialog

Change-Id: I1b30e300492e682a477615a70fc7319c1b6d794e
Merge "Use ve.ui.PushButton instead of ve.ui.Button in ve.ui.SyntaxHighlightDialog"