Gedit plugin that adds text margins in fullscreen mode