gedit r6756 - in trunk: . plugins/snippets/snippets

[jessevdk svn gnome org]

Author: jessevdk
Date: Mon Dec 29 19:08:54 2008
New Revision: 6756
URL: http://svn.gnome.org/viewvc/gedit?rev=6756&view=rev

Log:
        * plugins/snippets/snippets/Manager.py: removed customized font
        size (which is too small). Fixes #560236


Modified:
   trunk/ChangeLog
   trunk/plugins/snippets/snippets/Manager.py

Modified: trunk/plugins/snippets/snippets/Manager.py
==============================================================================
--- trunk/plugins/snippets/snippets/Manager.py	(original)
+++ trunk/plugins/snippets/snippets/Manager.py	Mon Dec 29 19:08:54 2008
@@ -312,7 +312,6 @@
                 image.set_from_stock(gtk.STOCK_REMOVE, gtk.ICON_SIZE_SMALL_TOOLBAR)
 
                 source_view = self['source_view_snippet']
-                source_view.modify_font(pango.FontDescription('Monospace 8'))
                 manager = self.get_language_manager()
                 lang = manager.get_language('snippets')