diff options
| author | Johannes Hofmann <johannes.hofmann@gmx.de> | 2005-04-14 19:48:26 +0000 |
|---|---|---|
| committer | Johannes Hofmann <johannes.hofmann@gmx.de> | 2005-04-14 19:48:26 +0000 |
| commit | d2a7cbd2527455ccf070d748d72c69a43330b6a1 (patch) | |
| tree | 7a973cf3c9fd4018ba6bafe87f891f996f166668 /src/GipfelWidget.cxx | |
| parent | b7861c0a98136b5e1a81002b36dd4453b82df106 (diff) | |
UI changes
UI changes
Diffstat (limited to 'src/GipfelWidget.cxx')
| -rw-r--r-- | src/GipfelWidget.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GipfelWidget.cxx b/src/GipfelWidget.cxx index f4ad159..173f889 100644 --- a/src/GipfelWidget.cxx +++ b/src/GipfelWidget.cxx @@ -1,5 +1,5 @@ // -// "$Id: GipfelWidget.cxx,v 1.7 2005/04/14 21:15:45 hofmann Exp $" +// "$Id: GipfelWidget.cxx,v 1.8 2005/04/14 21:48:28 hofmann Exp $" // // PSEditWidget routines. // @@ -83,7 +83,7 @@ GipfelWidget::draw() { fl_push_clip(x(), y(), w(), h()); img->draw(x(),y(),w(),h(),0,0); - fl_font(FL_COURIER, 10); + fl_font(FL_HELVETICA, 8); m = pan->get_visible_mountains(); while (m) { if (m == cur_mountain) { |