gui: Factor out duplicated code for executing and pasting syntax.