# HG changeset patch
# User ib
# Date 1390415392 0
# Node ID d49273cb4b1e41c456e727f4e4148c554d90b916
# Parent  29469bc77c18fc40276281c2db41a49e7f09a647
Prettify layout of dialog for font settings.

diff -r 29469bc77c18 -r d49273cb4b1e gui/dialog/preferences.c
--- 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 );