Parent Directory | Revision Log | Patch
revision 1.23 by jhd, Sun Mar 23 00:59:23 2003 UTC | revision 1.24 by jhd, Sun Mar 23 01:09:49 2003 UTC | |
---|---|---|
# | Line 2665 xg_update_scrollbar_pos (f, scrollbar_id | Line 2665 xg_update_scrollbar_pos (f, scrollbar_id |
2665 | gtk_fixed_move (GTK_FIXED (wfixed), wscroll, left, top); | gtk_fixed_move (GTK_FIXED (wfixed), wscroll, left, top); |
2666 | gtk_widget_set_size_request (wscroll, width, gheight); | gtk_widget_set_size_request (wscroll, width, gheight); |
2667 | ||
2668 | /* Must force out update so changed scroll bars gets redrawn. */ | |
2669 | gdk_window_process_all_updates (); | |
2670 | ||
2671 | SET_FRAME_GARBAGED (f); | SET_FRAME_GARBAGED (f); |
2672 | cancel_mouse_face (f); | cancel_mouse_face (f); |
2673 | } | } |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |