From 2fec8a64d2e90861b8923e9220551e67dbd3f9b8 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Wed, 23 Jan 2013 20:27:06 +0000
Subject: [PATCH] tweak
---
Fltk/graphicWindow.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Fltk/graphicWindow.cpp b/Fltk/graphicWindow.cpp
index 11faa56c8f..dcb41d9982 100644
--- a/Fltk/graphicWindow.cpp
+++ b/Fltk/graphicWindow.cpp
@@ -2770,8 +2770,8 @@ graphicWindow::graphicWindow(bool main, int numTiles, bool detachedMenu)
if(main){
_browser = new Fl_Browser(twidth, mh + glheight, glwidth, mheight);
_browser->box(GMSH_SIMPLE_TOP_BOX);
- _browser->textfont(FL_COURIER);
- _browser->textsize(FL_NORMAL_SIZE - 1);
+ _browser->textfont(FL_SCREEN);
+ _browser->textsize(FL_NORMAL_SIZE - 2);
_browser->type(FL_MULTI_BROWSER);
_browser->callback(message_browser_cb, this);
_browser->scrollbar_size(std::max(10, FL_NORMAL_SIZE - 2)); // thinner scrollbars
--
GitLab