2168
|
1 /* scrollbar implementation -- GTK interface.
|
462
|
2 Copyright (C) 1994, 1995 Board of Trustees, University of Illinois.
|
|
3 Copyright (C) 1994 Amdhal Corporation.
|
|
4 Copyright (C) 1995 Sun Microsystems, Inc.
|
|
5 Copyright (C) 1995 Darrell Kindred <dkindred+@cmu.edu>.
|
|
6
|
|
7 This file is part of XEmacs.
|
|
8
|
|
9 XEmacs is free software; you can redistribute it and/or modify it
|
|
10 under the terms of the GNU General Public License as published by the
|
|
11 Free Software Foundation; either version 2, or (at your option) any
|
|
12 later version.
|
|
13
|
|
14 XEmacs is distributed in the hope that it will be useful, but WITHOUT
|
|
15 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
16 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
17 for more details.
|
|
18
|
|
19 You should have received a copy of the GNU General Public License
|
|
20 along with XEmacs; see the file COPYING. If not, write to
|
|
21 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
22 Boston, MA 02111-1307, USA. */
|
|
23
|
|
24 /* Synched up with: Not in FSF. */
|
|
25 /* Gtk version by William M. Perry */
|
|
26
|
|
27 #include <config.h>
|
|
28 #include "lisp.h"
|
|
29
|
872
|
30 #include "frame-impl.h"
|
|
31 #include "window.h"
|
|
32
|
|
33 #include "console-gtk-impl.h"
|
462
|
34 #include "glyphs-gtk.h"
|
|
35 #include "scrollbar-gtk.h"
|
|
36
|
|
37 static gboolean scrollbar_cb (GtkAdjustment *adj, gpointer user_data);
|
|
38
|
|
39 /* Used to prevent changing the size of the slider while drag
|
|
40 scrolling, under Motif. This is necessary because the Motif
|
|
41 scrollbar is incredibly stupid about updating the slider and causes
|
|
42 lots of flicker if it is done too often. */
|
|
43 static int inhibit_slider_size_change;
|
|
44
|
|
45 static int vertical_drag_in_progress;
|
|
46
|
|
47
|
|
48 /* A device method. */
|
|
49 static int
|
|
50 gtk_inhibit_scrollbar_slider_size_change (void)
|
|
51 {
|
|
52 return inhibit_slider_size_change;
|
|
53 }
|
|
54
|
|
55 /* A device method. */
|
|
56 static void
|
|
57 gtk_free_scrollbar_instance (struct scrollbar_instance *instance)
|
|
58 {
|
|
59 if (SCROLLBAR_GTK_WIDGET (instance))
|
|
60 {
|
|
61 gtk_widget_hide_all (SCROLLBAR_GTK_WIDGET (instance));
|
|
62 gtk_widget_destroy (SCROLLBAR_GTK_WIDGET (instance));
|
|
63 }
|
|
64
|
|
65 if (instance->scrollbar_data)
|
1726
|
66 xfree (instance->scrollbar_data, void *);
|
462
|
67 }
|
|
68
|
|
69 /* A device method. */
|
|
70 static void
|
|
71 gtk_release_scrollbar_instance (struct scrollbar_instance *instance)
|
|
72 {
|
|
73 /* It won't hurt to hide it all the time, will it? */
|
|
74 gtk_widget_hide_all (SCROLLBAR_GTK_WIDGET (instance));
|
|
75 }
|
|
76
|
|
77 static gboolean
|
2286
|
78 scrollbar_drag_hack_cb (GtkWidget *UNUSED (w), GdkEventButton *UNUSED (ev),
|
|
79 gpointer v)
|
462
|
80 {
|
|
81 vertical_drag_in_progress = (int) v;
|
|
82 inhibit_slider_size_change = (int) v;
|
|
83 return (FALSE);
|
|
84 }
|
|
85
|
|
86 /* A device method. */
|
|
87 static void
|
|
88 gtk_create_scrollbar_instance (struct frame *f, int vertical,
|
|
89 struct scrollbar_instance *instance)
|
|
90 {
|
|
91 GtkAdjustment *adj = GTK_ADJUSTMENT (gtk_adjustment_new (0,0,0,0,0,0));
|
|
92 GtkScrollbar *sb = NULL;
|
|
93
|
|
94 /* initialize the X specific data section. */
|
|
95 instance->scrollbar_data = xnew_and_zero (struct gtk_scrollbar_data);
|
|
96
|
|
97 SCROLLBAR_GTK_ID (instance) = new_gui_id ();
|
|
98 SCROLLBAR_GTK_VDRAG_ORIG_VALUE (instance) = -1;
|
|
99 SCROLLBAR_GTK_LAST_VALUE (instance) = adj->value;
|
|
100
|
2168
|
101 gtk_object_set_data (GTK_OBJECT (adj), GTK_DATA_GUI_IDENTIFIER, (void *) SCROLLBAR_GTK_ID (instance));
|
|
102 gtk_object_set_data (GTK_OBJECT (adj), GTK_DATA_FRAME_IDENTIFIER, f);
|
462
|
103
|
|
104 sb = GTK_SCROLLBAR (vertical ? gtk_vscrollbar_new (adj) : gtk_hscrollbar_new (adj));
|
|
105 SCROLLBAR_GTK_WIDGET (instance) = GTK_WIDGET (sb);
|
|
106
|
|
107 gtk_signal_connect (GTK_OBJECT (adj),"value-changed",
|
|
108 GTK_SIGNAL_FUNC (scrollbar_cb), (gpointer) vertical);
|
|
109
|
|
110 gtk_signal_connect (GTK_OBJECT (sb), "button-press-event",
|
|
111 GTK_SIGNAL_FUNC (scrollbar_drag_hack_cb), (gpointer) 1);
|
|
112 gtk_signal_connect (GTK_OBJECT (sb), "button-release-event",
|
|
113 GTK_SIGNAL_FUNC (scrollbar_drag_hack_cb), (gpointer) 0);
|
|
114
|
|
115 gtk_fixed_put (GTK_FIXED (FRAME_GTK_TEXT_WIDGET (f)), SCROLLBAR_GTK_WIDGET (instance), 0, 0);
|
525
|
116
|
|
117 /*
|
|
118 ** With gtk version > 1.2.8 the scrollbars in gtk-xemacs and xemacs
|
|
119 ** from CVS are invisible. In fact they are not invisible but very
|
|
120 ** thin (0 pixels wide). This is so, because the new gtk code does
|
|
121 ** not call gtk_widget_request_size() on the newly created
|
|
122 ** scrollbars anymore. this change was done to allow the theme
|
|
123 ** engines to manipulate the scrollbar width. This patch calls
|
|
124 ** gtk_widget_request_size with the newly created scollbars. Maybe
|
|
125 ** it is better to postpone this call just before the
|
|
126 ** gtk_widget_show() call is done on the scrolbar.
|
|
127 */
|
|
128 gtk_widget_size_request(GTK_WIDGET(sb), &(GTK_WIDGET(sb)->requisition));
|
|
129
|
462
|
130 gtk_widget_hide (SCROLLBAR_GTK_WIDGET (instance));
|
|
131 }
|
|
132
|
|
133 #define UPDATE_DATA_FIELD(field) \
|
|
134 if (new_##field >= 0 && \
|
|
135 SCROLLBAR_GTK_POS_DATA (inst).field != new_##field) { \
|
|
136 SCROLLBAR_GTK_POS_DATA (inst).field = new_##field; \
|
|
137 inst->scrollbar_instance_changed = 1; \
|
|
138 }
|
|
139
|
|
140 /* A device method. */
|
|
141 /* #### The -1 check is such a hack. */
|
|
142 static void
|
|
143 gtk_update_scrollbar_instance_values (struct window *w,
|
|
144 struct scrollbar_instance *inst,
|
|
145 int new_line_increment,
|
|
146 int new_page_increment,
|
|
147 int new_minimum, int new_maximum,
|
|
148 int new_slider_size,
|
|
149 int new_slider_position,
|
|
150 int new_scrollbar_width,
|
|
151 int new_scrollbar_height,
|
|
152 int new_scrollbar_x, int new_scrollbar_y)
|
|
153 {
|
|
154 UPDATE_DATA_FIELD (line_increment);
|
|
155 UPDATE_DATA_FIELD (page_increment);
|
|
156 UPDATE_DATA_FIELD (minimum);
|
|
157 UPDATE_DATA_FIELD (maximum);
|
|
158 UPDATE_DATA_FIELD (slider_size);
|
|
159 UPDATE_DATA_FIELD (slider_position);
|
|
160 UPDATE_DATA_FIELD (scrollbar_width);
|
|
161 UPDATE_DATA_FIELD (scrollbar_height);
|
|
162 UPDATE_DATA_FIELD (scrollbar_x);
|
|
163 UPDATE_DATA_FIELD (scrollbar_y);
|
|
164
|
|
165 if (w && !vertical_drag_in_progress)
|
|
166 {
|
|
167 int new_vov = SCROLLBAR_GTK_POS_DATA (inst).slider_position;
|
|
168 int new_vows = marker_position (w->start[CURRENT_DISP]);
|
|
169
|
|
170 if (SCROLLBAR_GTK_VDRAG_ORIG_VALUE (inst) != new_vov)
|
|
171 {
|
|
172 SCROLLBAR_GTK_VDRAG_ORIG_VALUE (inst) = new_vov;
|
|
173 inst->scrollbar_instance_changed = 1;
|
|
174 }
|
|
175 if (SCROLLBAR_GTK_VDRAG_ORIG_WINDOW_START (inst) != new_vows)
|
|
176 {
|
|
177 SCROLLBAR_GTK_VDRAG_ORIG_WINDOW_START (inst) = new_vows;
|
|
178 inst->scrollbar_instance_changed = 1;
|
|
179 }
|
|
180 }
|
|
181 }
|
|
182
|
|
183 /* Used by gtk_update_scrollbar_instance_status. */
|
|
184 static void
|
|
185 update_one_widget_scrollbar_pointer (struct window *w, GtkWidget *wid)
|
|
186 {
|
|
187 if (!wid->window)
|
|
188 gtk_widget_realize (wid);
|
|
189
|
|
190 if (POINTER_IMAGE_INSTANCEP (w->scrollbar_pointer))
|
|
191 {
|
|
192 gdk_window_set_cursor (GET_GTK_WIDGET_WINDOW (wid),
|
|
193 XIMAGE_INSTANCE_GTK_CURSOR (w->scrollbar_pointer));
|
|
194 gdk_flush ();
|
|
195 }
|
|
196 }
|
|
197
|
|
198 /* A device method. */
|
|
199 static void
|
|
200 gtk_update_scrollbar_instance_status (struct window *w, int active, int size,
|
|
201 struct scrollbar_instance *instance)
|
|
202 {
|
|
203 struct frame *f = XFRAME (w->frame);
|
|
204 GtkWidget *wid = SCROLLBAR_GTK_WIDGET (instance);
|
|
205 gboolean managed = GTK_WIDGET_MAPPED (wid);
|
|
206
|
|
207 if (active && size)
|
|
208 {
|
|
209 if (instance->scrollbar_instance_changed)
|
|
210 {
|
|
211 /* Need to set the height, width, and position of the widget */
|
|
212 GtkAdjustment *adj = gtk_range_get_adjustment (GTK_RANGE (wid));
|
|
213 scrollbar_values *pos_data = & SCROLLBAR_GTK_POS_DATA (instance);
|
|
214 int modified_p = 0;
|
|
215
|
|
216 /* We do not want to update the size all the time if we can
|
|
217 help it. This cuts down on annoying flicker.
|
|
218 */
|
|
219 if ((wid->allocation.width != pos_data->scrollbar_width) ||
|
|
220 (wid->allocation.height != pos_data->scrollbar_height))
|
|
221 {
|
|
222 gtk_widget_set_usize (wid,
|
|
223 pos_data->scrollbar_width,
|
|
224 pos_data->scrollbar_height);
|
2195
|
225
|
|
226 /*
|
|
227 UGLY! UGLY! UGLY! Changes to wid->allocation are queued and
|
|
228 not performed until the GTK event loop. However, when the
|
|
229 fontlock progress bar is run, the vertical scrollbar's height
|
|
230 is change and then changed back before events are again
|
|
231 processed. This means that the change back is not seen and
|
|
232 the scrollbar is left too short. Fix this by making the
|
|
233 change manually so the test above sees the change. This does
|
|
234 not seem to cause problems in other cases.
|
|
235 */
|
|
236
|
|
237 wid->allocation.width = pos_data->scrollbar_width;
|
|
238 wid->allocation.height = pos_data->scrollbar_height;
|
|
239
|
462
|
240 modified_p = 1;
|
|
241 }
|
|
242
|
|
243 /* Ditto for the x/y position. */
|
|
244 if ((wid->allocation.x != pos_data->scrollbar_x) ||
|
|
245 (wid->allocation.y != pos_data->scrollbar_y))
|
|
246 {
|
|
247 gtk_fixed_move (GTK_FIXED (FRAME_GTK_TEXT_WIDGET (f)),
|
|
248 wid,
|
|
249 pos_data->scrollbar_x,
|
|
250 pos_data->scrollbar_y);
|
2195
|
251
|
|
252 /*
|
|
253 UGLY! UGLY! UGLY! Changes to wid->allocation are queued and
|
|
254 not performed until the GTK event loop. However, when the
|
|
255 fontlock progress bar is run, the horizontal scrollbar's
|
|
256 position is change and then changed back before events are
|
|
257 again processed. This means that the change back is not seen
|
|
258 and the scrollbar is left in the wrong position. Fix this by
|
|
259 making the change manually so the test above sees the change.
|
|
260 This does not seem to cause problems in other cases.
|
|
261 */
|
|
262
|
|
263 wid->allocation.x = pos_data->scrollbar_x;
|
|
264 wid->allocation.y = pos_data->scrollbar_y;
|
|
265
|
462
|
266 modified_p = 1;
|
|
267 }
|
|
268
|
|
269 adj->lower = pos_data->minimum;
|
|
270 adj->upper = pos_data->maximum;
|
|
271 adj->page_increment = pos_data->slider_size + 1;
|
|
272 adj->step_increment = w->max_line_len - 1;
|
|
273 adj->page_size = pos_data->slider_size + 1;
|
|
274 adj->value = pos_data->slider_position;
|
|
275
|
|
276 /* But, if we didn't resize or move the scrollbar, the
|
|
277 widget will not get redrawn correctly when the user
|
|
278 scrolls around in the XEmacs frame manually. So we
|
|
279 update the slider manually here.
|
|
280 */
|
|
281 if (!modified_p)
|
|
282 gtk_range_slider_update (GTK_RANGE (wid));
|
|
283
|
|
284 instance->scrollbar_instance_changed = 0;
|
|
285 }
|
|
286
|
|
287 if (!managed)
|
|
288 {
|
|
289 gtk_widget_show (wid);
|
|
290 update_one_widget_scrollbar_pointer (w, wid);
|
|
291 }
|
|
292 }
|
|
293 else if (managed)
|
|
294 {
|
|
295 gtk_widget_hide (wid);
|
|
296 }
|
|
297 }
|
|
298
|
|
299 enum gtk_scrollbar_loop
|
|
300 {
|
|
301 GTK_FIND_SCROLLBAR_WINDOW_MIRROR,
|
|
302 GTK_SET_SCROLLBAR_POINTER,
|
|
303 GTK_WINDOW_IS_SCROLLBAR,
|
|
304 GTK_UPDATE_FRAME_SCROLLBARS
|
|
305 };
|
|
306
|
|
307 static struct window_mirror *
|
|
308 gtk_scrollbar_loop (enum gtk_scrollbar_loop type, Lisp_Object window,
|
|
309 struct window_mirror *mir,
|
|
310 GUI_ID id, GdkWindow *x_win)
|
|
311 {
|
|
312 struct window_mirror *retval = NULL;
|
|
313
|
|
314 while (mir)
|
|
315 {
|
|
316 struct scrollbar_instance *vinstance = mir->scrollbar_vertical_instance;
|
|
317 struct scrollbar_instance *hinstance = mir->scrollbar_horizontal_instance;
|
|
318 struct window *w = XWINDOW (window);
|
|
319
|
|
320 if (mir->vchild)
|
|
321 retval = gtk_scrollbar_loop (type, w->vchild, mir->vchild, id, x_win);
|
|
322 else if (mir->hchild)
|
|
323 retval = gtk_scrollbar_loop (type, w->hchild, mir->hchild, id, x_win);
|
|
324 if (retval)
|
|
325 return retval;
|
|
326
|
|
327 if (hinstance || vinstance)
|
|
328 {
|
|
329 switch (type)
|
|
330 {
|
|
331 case GTK_FIND_SCROLLBAR_WINDOW_MIRROR:
|
|
332 if ((vinstance && SCROLLBAR_GTK_ID (vinstance) == id) ||
|
|
333 (hinstance && SCROLLBAR_GTK_ID (hinstance) == id))
|
|
334 return mir;
|
|
335 break;
|
|
336 case GTK_UPDATE_FRAME_SCROLLBARS:
|
|
337 if (!mir->vchild && !mir->hchild)
|
|
338 update_window_scrollbars (w, mir, 1, 0);
|
|
339 break;
|
|
340 case GTK_SET_SCROLLBAR_POINTER:
|
|
341 if (!mir->vchild && !mir->hchild)
|
|
342 {
|
|
343 GtkWidget *widget;
|
|
344
|
|
345 widget = SCROLLBAR_GTK_WIDGET (hinstance);
|
|
346 if (widget && GTK_WIDGET_MAPPED (widget))
|
|
347 update_one_widget_scrollbar_pointer (w, widget);
|
|
348
|
|
349 widget = SCROLLBAR_GTK_WIDGET (vinstance);
|
|
350 if (widget && GTK_WIDGET_MAPPED (widget))
|
|
351 update_one_widget_scrollbar_pointer (w, widget);
|
|
352 }
|
|
353 break;
|
|
354 case GTK_WINDOW_IS_SCROLLBAR:
|
|
355 if (!mir->vchild && !mir->hchild)
|
|
356 {
|
|
357 GtkWidget *widget;
|
|
358
|
|
359 widget = SCROLLBAR_GTK_WIDGET (hinstance);
|
|
360 if (widget && GTK_WIDGET_MAPPED (widget) &&
|
|
361 GET_GTK_WIDGET_WINDOW (widget) == x_win)
|
|
362 return (struct window_mirror *) 1;
|
|
363
|
|
364 widget = SCROLLBAR_GTK_WIDGET (vinstance);
|
|
365 if (widget && GTK_WIDGET_MAPPED (widget) &&
|
|
366 GET_GTK_WIDGET_WINDOW (widget) == x_win)
|
|
367 return (struct window_mirror *) 1;
|
|
368 }
|
|
369 break;
|
|
370 default:
|
2500
|
371 ABORT ();
|
462
|
372 }
|
|
373 }
|
|
374
|
|
375 mir = mir->next;
|
|
376 window = w->next;
|
|
377 }
|
|
378
|
|
379 return NULL;
|
|
380 }
|
|
381
|
|
382 /* Used by callbacks. */
|
|
383 static struct window_mirror *
|
|
384 find_scrollbar_window_mirror (struct frame *f, GUI_ID id)
|
|
385 {
|
|
386 if (f->mirror_dirty)
|
|
387 update_frame_window_mirror (f);
|
|
388 return gtk_scrollbar_loop (GTK_FIND_SCROLLBAR_WINDOW_MIRROR, f->root_window,
|
617
|
389 XWINDOW_MIRROR (f->root_mirror), id,
|
|
390 (GdkWindow *) NULL);
|
462
|
391 }
|
|
392
|
|
393 static gboolean
|
|
394 scrollbar_cb (GtkAdjustment *adj, gpointer user_data)
|
|
395 {
|
|
396 /* This function can GC */
|
|
397 int vertical = (int) user_data;
|
2168
|
398 struct frame *f = (struct frame*) gtk_object_get_data (GTK_OBJECT (adj), GTK_DATA_FRAME_IDENTIFIER);
|
617
|
399 struct scrollbar_instance *instance;
|
2168
|
400 GUI_ID id = (GUI_ID) gtk_object_get_data (GTK_OBJECT (adj), GTK_DATA_GUI_IDENTIFIER);
|
462
|
401 Lisp_Object win, frame;
|
|
402 struct window_mirror *mirror;
|
|
403 Lisp_Object event_type = Qnil;
|
|
404 Lisp_Object event_data = Qnil;
|
|
405
|
|
406 if (!f)
|
|
407 return(FALSE);
|
|
408
|
|
409 mirror = find_scrollbar_window_mirror (f, id);
|
|
410 if (!mirror)
|
|
411 return(FALSE);
|
|
412
|
|
413 win = real_window (mirror, 1);
|
|
414
|
|
415 if (NILP (win))
|
|
416 return(FALSE);
|
|
417 instance = vertical ? mirror->scrollbar_vertical_instance : mirror->scrollbar_horizontal_instance;
|
|
418 frame = WINDOW_FRAME (XWINDOW (win));
|
|
419
|
|
420 inhibit_slider_size_change = 0;
|
|
421 switch (GTK_RANGE (SCROLLBAR_GTK_WIDGET (instance))->scroll_type)
|
|
422 {
|
|
423 case GTK_SCROLL_PAGE_BACKWARD:
|
|
424 event_type = vertical ? Qscrollbar_page_up : Qscrollbar_page_left;
|
|
425 event_data = Fcons (win, Qnil);
|
|
426 break;
|
|
427 case GTK_SCROLL_PAGE_FORWARD:
|
|
428 event_type = vertical ? Qscrollbar_page_down : Qscrollbar_page_right;
|
|
429 event_data = Fcons (win, Qnil);
|
|
430 break;
|
|
431 case GTK_SCROLL_STEP_FORWARD:
|
|
432 event_type = vertical ? Qscrollbar_line_down : Qscrollbar_char_right;
|
|
433 event_data = win;
|
|
434 break;
|
|
435 case GTK_SCROLL_STEP_BACKWARD:
|
|
436 event_type = vertical ? Qscrollbar_line_up : Qscrollbar_char_left;
|
|
437 event_data = win;
|
|
438 break;
|
|
439 case GTK_SCROLL_NONE:
|
|
440 case GTK_SCROLL_JUMP:
|
|
441 inhibit_slider_size_change = 1;
|
|
442 event_type = vertical ? Qscrollbar_vertical_drag : Qscrollbar_horizontal_drag;
|
|
443 event_data = Fcons (win, make_int ((int)adj->value));
|
|
444 break;
|
|
445 default:
|
2500
|
446 ABORT();
|
462
|
447 }
|
|
448
|
|
449 signal_special_gtk_user_event (frame, event_type, event_data);
|
|
450
|
|
451 return (TRUE);
|
|
452 }
|
|
453
|
|
454 static void
|
|
455 gtk_scrollbar_pointer_changed_in_window (struct window *w)
|
|
456 {
|
793
|
457 Lisp_Object window = wrap_window (w);
|
462
|
458
|
617
|
459 gtk_scrollbar_loop (GTK_SET_SCROLLBAR_POINTER, window,
|
|
460 find_window_mirror (w), 0, (GdkWindow *) NULL);
|
462
|
461 }
|
|
462
|
|
463 /* #### BILL!!! This comment is not true for Gtk - should it be? */
|
|
464 /* Make sure that all scrollbars on frame are up-to-date. Called
|
|
465 directly from gtk_set_frame_properties in frame-gtk.c*/
|
|
466 void
|
|
467 gtk_update_frame_scrollbars (struct frame *f)
|
|
468 {
|
617
|
469 gtk_scrollbar_loop (GTK_UPDATE_FRAME_SCROLLBARS, f->root_window,
|
|
470 XWINDOW_MIRROR (f->root_mirror),
|
462
|
471 0, (GdkWindow *) NULL);
|
|
472 }
|
|
473
|
|
474 #ifdef MEMORY_USAGE_STATS
|
|
475 static int
|
2286
|
476 gtk_compute_scrollbar_instance_usage (struct device *UNUSED (d),
|
462
|
477 struct scrollbar_instance *inst,
|
|
478 struct overhead_stats *ovstats)
|
|
479 {
|
|
480 int total = 0;
|
|
481
|
|
482 while (inst)
|
|
483 {
|
|
484 struct gtk_scrollbar_data *data =
|
|
485 (struct gtk_scrollbar_data *) inst->scrollbar_data;
|
|
486
|
3024
|
487 total += malloced_storage_size (data, sizeof (*data), ovstats);
|
462
|
488 inst = inst->next;
|
|
489 }
|
|
490
|
|
491 return total;
|
|
492 }
|
|
493
|
|
494 #endif /* MEMORY_USAGE_STATS */
|
|
495
|
|
496
|
|
497 /************************************************************************/
|
|
498 /* initialization */
|
|
499 /************************************************************************/
|
|
500
|
|
501 void
|
|
502 console_type_create_scrollbar_gtk (void)
|
|
503 {
|
|
504 CONSOLE_HAS_METHOD (gtk, inhibit_scrollbar_slider_size_change);
|
|
505 CONSOLE_HAS_METHOD (gtk, free_scrollbar_instance);
|
|
506 CONSOLE_HAS_METHOD (gtk, release_scrollbar_instance);
|
|
507 CONSOLE_HAS_METHOD (gtk, create_scrollbar_instance);
|
|
508 CONSOLE_HAS_METHOD (gtk, update_scrollbar_instance_values);
|
|
509 CONSOLE_HAS_METHOD (gtk, update_scrollbar_instance_status);
|
|
510 CONSOLE_HAS_METHOD (gtk, scrollbar_pointer_changed_in_window);
|
|
511 #ifdef MEMORY_USAGE_STATS
|
|
512 CONSOLE_HAS_METHOD (gtk, compute_scrollbar_instance_usage);
|
|
513 #endif /* MEMORY_USAGE_STATS */
|
|
514 }
|
|
515
|
|
516 void
|
|
517 vars_of_scrollbar_gtk (void)
|
|
518 {
|
|
519 Fprovide (intern ("gtk-scrollbars"));
|
|
520 }
|