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
|
PROGRAM(range);
// The basic "range" widget.
INHERIT(widget);
COMPLEX_FUNCTION(set_update_policy, int);
NAME_ARGS(when);
// One of CONST(GTK_UPDATE).
COMPLEX_FUNCTION(set_adjustment, adjustment);
NAME_ARGS(pos);
// Set the adjustment object to use. Use adjustment object to connect
// as an example a text widget with a scrollbar.
SIMPLE_FUNCTION(slider_update);
// Update the slider values.
CLASSMEMBER(x_click_point,int);
CLASSMEMBER(y_click_point,int);
CLASSMEMBER(button, int);
CLASSMEMBER(digits, int);
CLASSMEMBER(policy, int);
CLASSMEMBER(scroll_type, int);
CLASSMEMBER(in_child, int);
CLASSMEMBER(click_child, int);
CLASSMEMBER(need_timer, int);
CLASSMEMBER(timer, int);
CLASSMEMBER(old_value, float);
CLASSMEMBER(old_lower, float);
CLASSMEMBER(old_upper, float);
CLASSMEMBER(old_page_size, float);
SUBWIDGET(adjustment,adjustment);
|
