diff --git a/Fltk/clippingWindow.cpp b/Fltk/clippingWindow.cpp index 273cbb6f2e5634fcf99f1e8a53bc5209ad6b97e9..58da0ab4b922003bab1438dddbe52062da2b1bb5 100644 --- a/Fltk/clippingWindow.cpp +++ b/Fltk/clippingWindow.cpp @@ -199,6 +199,7 @@ clippingWindow::clippingWindow(int deltaFontSize) browser = new Fl_Multi_Browser(0, 0, L, height); browser->callback(clip_update_cb); browser->box(GMSH_SIMPLE_RIGHT_BOX); + browser->scrollbar_size(std::max(10, FL_NORMAL_SIZE - 2)); // thinner scrollbars Fl_Tabs *o = new Fl_Tabs (L + WB, WB, width - L - 2 * WB, height - 3 * WB - 4 * BH); diff --git a/Fltk/helpWindow.cpp b/Fltk/helpWindow.cpp index b5752e88639085afad55aa9029334c6368875ba6..5b0475af94fd4d420a8273d390cbfb11e7403d63 100644 --- a/Fltk/helpWindow.cpp +++ b/Fltk/helpWindow.cpp @@ -441,6 +441,7 @@ helpWindow::helpWindow() browser->type(FL_MULTI_BROWSER); browser->callback(browser_cb); browser->tooltip("Double-click to edit value"); + browser->scrollbar_size(std::max(10, FL_NORMAL_SIZE - 2)); // thinner scrollbars options->resizable(browser); options->position(Fl::x() + Fl::w()/2 - width / 2, diff --git a/Fltk/optionWindow.cpp b/Fltk/optionWindow.cpp index f7b1d11d7d91737273fe7bd023d6dcf1ebbf49f3..dbf7ae25cddd3e687206ebf67d3b2568b2610d00 100644 --- a/Fltk/optionWindow.cpp +++ b/Fltk/optionWindow.cpp @@ -1339,6 +1339,7 @@ optionWindow::optionWindow(int deltaFontSize) browser = new Fl_Multi_Browser(0, 0, L, height); browser->box(GMSH_SIMPLE_RIGHT_BOX); browser->has_scrollbar(Fl_Browser_::VERTICAL); + browser->scrollbar_size(std::max(10, FL_NORMAL_SIZE - 2)); // thinner scrollbars browser->add("General"); browser->add("Geometry"); browser->add("Mesh"); diff --git a/Fltk/pluginWindow.cpp b/Fltk/pluginWindow.cpp index 9fdc50b2eabab11ef27bc1cb8b000efc6eec6f77..15a2b9f302d6a88948fcd80a03fb1e15e2f1d4b2 100644 --- a/Fltk/pluginWindow.cpp +++ b/Fltk/pluginWindow.cpp @@ -315,9 +315,11 @@ pluginWindow::pluginWindow(int deltaFontSize) browser->callback(plugin_browser_cb); browser->box(GMSH_SIMPLE_RIGHT_BOX); browser->has_scrollbar(Fl_Browser_::VERTICAL); + browser->scrollbar_size(std::max(10, FL_NORMAL_SIZE - 2)); // thinner scrollbars view_browser = new Fl_Multi_Browser(L1, 0, L2, height); view_browser->has_scrollbar(Fl_Browser_::VERTICAL); + view_browser->scrollbar_size(std::max(10, FL_NORMAL_SIZE - 2)); // thinner scrollbars view_browser->callback(plugin_browser_cb); view_browser->box(GMSH_SIMPLE_RIGHT_BOX); @@ -394,4 +396,3 @@ void pluginWindow::resetViewBrowser() plugin_browser_cb(NULL, NULL); } - diff --git a/Fltk/visibilityWindow.cpp b/Fltk/visibilityWindow.cpp index 8201a6dd8f34e312b98898fcf46fdba86a800806..0ebe3abd32d04a77ce2b0e76a219be84ef8b9ea9 100644 --- a/Fltk/visibilityWindow.cpp +++ b/Fltk/visibilityWindow.cpp @@ -1220,6 +1220,7 @@ visibilityWindow::visibilityWindow(int deltaFontSize) browser->type(FL_MULTI_BROWSER); browser->textsize(FL_NORMAL_SIZE - 1); browser->column_widths(cols); + browser->scrollbar_size(std::max(10, FL_NORMAL_SIZE - 2)); // thinner scrollbars gg->end(); Fl_Group::current()->resizable(gg); @@ -1259,6 +1260,7 @@ visibilityWindow::visibilityWindow(int deltaFontSize) tree->labelsize(FL_NORMAL_SIZE - 1); tree->selectmode(FL_TREE_SELECT_MULTI); tree->connectorstyle(FL_TREE_CONNECTOR_SOLID); + tree->scrollbar_size(std::max(10, FL_NORMAL_SIZE - 2)); // thinner scrollbars tree->hide(); tree_create = new Fl_Button @@ -1426,6 +1428,7 @@ visibilityWindow::visibilityWindow(int deltaFontSize) per_window = new Fl_Multi_Browser (2 * WB, 2 * WB + BH, brw, height - 6 * WB - 3 * BH); per_window->callback(visibility_per_window_cb, (void*)"item"); + per_window->scrollbar_size(std::max(10, FL_NORMAL_SIZE - 2)); // thinner scrollbars Fl_Button *b1 = new Fl_Button (width - 1 * CC - 2 * WB, height - 2 * BH - 3 * WB, CC, BH, "Reset all");