diff gui/dialog/preferences.c @ 36597:d49273cb4b1e

Prettify layout of dialog for font settings.
author ib
date Wed, 22 Jan 2014 18:29:52 +0000
parents d48b97f78f2e
children dbcc2afa643b
line wrap: on
line diff
--- a/gui/dialog/preferences.c	Wed Jan 22 18:25:25 2014 +0000
+++ b/gui/dialog/preferences.c	Wed Jan 22 18:29:52 2014 +0000
@@ -872,7 +872,7 @@
 
   vbox603=gtkAddVBox(
     gtkAddFrame( NULL,GTK_SHADOW_NONE,
-      gtkAddFrame( MSGTR_PREFERENCES_FRAME_Font,GTK_SHADOW_ETCHED_OUT,vbox601,0 ),1 ),0 );
+      gtkAddFrame( NULL,GTK_SHADOW_ETCHED_OUT,vbox601,0 ),1 ),0 );
 
   hbox6=gtkAddHBox( vbox603,1 );
   gtkAddLabel( MSGTR_PREFERENCES_Font,hbox6 );