A plugin for Gedit that sets the default source language (i.e., highlight mode)