1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
//
// 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 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
|
