From 43fba36940be4503c51c4084a1cc6db94a418db5 Mon Sep 17 00:00:00 2001
From: maroy <maroy@cfc7b370-4200-0410-a6e3-cb6bdb053afe>
Date: Wed, 9 Feb 2005 14:54:47 +0000
Subject: [PATCH] added Bitstream Vera font definition to widgets

---
 livesupport/modules/widgets/src/Button.cxx      | 3 ++-
 livesupport/modules/widgets/src/WhiteWindow.cxx | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/livesupport/modules/widgets/src/Button.cxx b/livesupport/modules/widgets/src/Button.cxx
index 1daa99bc0..b1cd4db55 100644
--- a/livesupport/modules/widgets/src/Button.cxx
+++ b/livesupport/modules/widgets/src/Button.cxx
@@ -22,7 +22,7 @@
  
  
     Author   : $Author: maroy $
-    Version  : $Revision: 1.2 $
+    Version  : $Revision: 1.3 $
     Location : $Source: /home/paul/cvs2svn-livesupport/newcvsrepo/livesupport/modules/widgets/src/Button.cxx,v $
 
 ------------------------------------------------------------------------------*/
@@ -97,6 +97,7 @@ Button :: Button(const Glib::ustring          & label,
     this->rollImageRight     = rollImageRight;
 
     this->label.reset(new Gtk::Label(label));
+    this->label->modify_font(Pango::FontDescription("Bitstream Vera 10"));
     this->label->set_parent(*this);
 }
 
diff --git a/livesupport/modules/widgets/src/WhiteWindow.cxx b/livesupport/modules/widgets/src/WhiteWindow.cxx
index c5d64499c..64b11de25 100644
--- a/livesupport/modules/widgets/src/WhiteWindow.cxx
+++ b/livesupport/modules/widgets/src/WhiteWindow.cxx
@@ -22,7 +22,7 @@
  
  
     Author   : $Author: maroy $
-    Version  : $Revision: 1.3 $
+    Version  : $Revision: 1.4 $
     Location : $Source: /home/paul/cvs2svn-livesupport/newcvsrepo/livesupport/modules/widgets/src/WhiteWindow.cxx,v $
 
 ------------------------------------------------------------------------------*/
@@ -79,6 +79,7 @@ WhiteWindow :: WhiteWindow(Glib::ustring                title,
 
     // set the window title
     this->title.reset(new Gtk::Label(title));
+    this->title->modify_font(Pango::FontDescription("Bitstream Vera 10"));
     titleAlignment.reset(new Gtk::Alignment(Gtk::ALIGN_LEFT,
                                             Gtk::ALIGN_CENTER,
                                             0, 0));