Known bugs in the current version of gEdit:

	* Changes to the font will not take effect until gEdit is restarted.
	  
	* The line number indicator is basically smashed, and the column
	  indicator isn't so accurate.
	  
	* If you launch a plugin that starts a new document, then close
	  the document while it's still writing to it, it will seg fault
	  with a broken pipe error..
	  
	* The plugins are still a little unstable...


