commands: use GtkSourceEncoding
window: use GtkSourceEncoding