GTK+ plugin: fix editing option for command, and Edit button sensitivity.