From c01641e7482f7033d2b509f2e655e7675daa1f7d Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 21 Feb 2016 21:03:41 +0000
Subject: [PATCH] Update button in help browser
---
Fltk/helpWindow.cpp | 13 ++++++++++++-
1 file changed, 12 insertions(+), 1 deletion(-)
diff --git a/Fltk/helpWindow.cpp b/Fltk/helpWindow.cpp
index 9d7074e1f6..f83636cbf8 100644
--- a/Fltk/helpWindow.cpp
+++ b/Fltk/helpWindow.cpp
@@ -434,7 +434,7 @@ helpWindow::helpWindow()
o->resizable(search);
o->end();
- browser = new Fl_Browser(0, BH + 2 * WB, width, height - BH - 2 * WB);
+ browser = new Fl_Browser(0, BH + 2 * WB, width, height - 2 * BH - 4 * WB);
browser->box(GMSH_SIMPLE_TOP_BOX);
browser->textfont(FL_SCREEN);
browser->textsize(FL_NORMAL_SIZE - 2);
@@ -443,6 +443,17 @@ helpWindow::helpWindow()
browser->tooltip("Double-click to edit value");
browser->scrollbar_size(std::max(10, FL_NORMAL_SIZE - 2)); // thinner scrollbars
+ {
+ Fl_Group* g = new Fl_Group(0, height - BH - WB, width, BH);
+ Fl_Group* g2 = new Fl_Group(0, height - BH - WB, BB, BH);
+ Fl_Return_Button *o = new Fl_Return_Button
+ (width - BB - WB, height - BH - WB, BB, BH, "Update");
+ o->callback(help_options_cb);
+ g->resizable(g2);
+ g2->end();
+ g->end();
+ }
+
options->resizable(browser);
options->position(Fl::x() + Fl::w()/2 - width / 2,
Fl::y() + Fl::h()/2 - height / 2);
--
GitLab