JuliaLang/julia — pull request #3135 by waldir (2013-05-17 04:36:55+00:00)
Title: Some fixes to the Gedit configuration file

I mistakenly used an old version of the gedit configuration file I had been working on, which contained some errors that would prevent it from working correctly. This version fixes those errors, and updates a few type entries.