1 files changed, 84 insertions, 0 deletions
diff --git a/fluid/widgets/widget_browser.h b/fluid/widgets/widget_browser.h
new file mode 100644
index 000000000..86c60777c
--- /dev/null
+++ b/fluid/widgets/widget_browser.h
@@ -0,0 +1,84 @@
+//
+// Widget Browser code for the Fast Light Tool Kit (FLTK).
+//
+// Copyright 1998-2021 by Bill Spitzak and others.
+//
+// This library is free software. Distribution and use rights are outlined in
+// the file "COPYING" which should have been included with this file.  If this
+// file is missing or damaged, see the license at:
+//
+//     https://www.fltk.org/COPYING.php
+//
+// Please see the following page on how to report bugs and issues:
+//
+//     https://www.fltk.org/bugs.php
+//
+
+#ifndef _FLUID_WIDGET_BROWSER_H
+#define _FLUID_WIDGET_BROWSER_H
+
+#include <FL/Fl_Browser_.H>
+
+class Fl_Type;
+class Widget_Browser;
+
+extern Widget_Browser *widget_browser;
+
+extern void redraw_browser();
+extern Fl_Widget *make_widget_browser(int x,int y,int w,int h);
+extern void redraw_widget_browser(Fl_Type *caller);
+extern void select(Fl_Type *o, int v);
+extern void select_only(Fl_Type *o);
+extern void deselect();
+extern void reveal_in_browser(Fl_Type *t);
+
+class Widget_Browser : public Fl_Browser_
+{
+  friend class Fl_Type;
+
+  static void callback_stub(Fl_Widget *o, void *) {
+    ((Widget_Browser *)o)->callback();
+  }
+
+  Fl_Type* pushedtitle;
+  int saved_h_scroll_;
+  int saved_v_scroll_;
+
+  // required routines for Fl_Browser_ subclass:
+  void *item_first() const FL_OVERRIDE;
+  void *item_next(void *) const FL_OVERRIDE;
+  void *item_prev(void *) const FL_OVERRIDE;
+  int item_selected(void *) const FL_OVERRIDE;
+  void item_select(void *,int) FL_OVERRIDE;
+  int item_width(void *) const FL_OVERRIDE;
+  int item_height(void *) const FL_OVERRIDE;
+  void item_draw(void *,int,int,int,int) const FL_OVERRIDE;
+  int incr_height() const FL_OVERRIDE;
+
+public:
+  Widget_Browser(int,int,int,int,const char * =NULL);
+  int handle(int) FL_OVERRIDE;
+  void callback();
+  void save_scroll_position();
+  void restore_scroll_position();
+  void rebuild();
+  void new_list() { Fl_Browser_::new_list(); }
+  void display(Fl_Type *);
+  void load_prefs();
+  void save_prefs();
+
+  static Fl_Color label_color;
+  static Fl_Font label_font;
+  static Fl_Color class_color;
+  static Fl_Font class_font;
+  static Fl_Color func_color;
+  static Fl_Font func_font;
+  static Fl_Color name_color;
+  static Fl_Font name_font;
+  static Fl_Color code_color;
+  static Fl_Font code_font;
+  static Fl_Color comment_color;
+  static Fl_Font comment_font;
+};
+
+#endif // _FLUID_WIDGET_BROWSER_H