Parent Directory | Revision Log | Patch
revision 1.517 by gerd, Sun Oct 28 20:55:50 2001 UTC | revision 1.518 by gerd, Mon Oct 29 11:18:51 2001 UTC | |
---|---|---|
# | Line 1935 x_set_internal_border_width (f, arg, old | Line 1935 x_set_internal_border_width (f, arg, old |
1935 | SET_FRAME_GARBAGED (f); | SET_FRAME_GARBAGED (f); |
1936 | do_pending_window_change (0); | do_pending_window_change (0); |
1937 | } | } |
1938 | else | |
1939 | SET_FRAME_GARBAGED (f); | |
1940 | } | } |
1941 | ||
1942 | void | void |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |