diff src/intervals.h @ 77267:7f8bdfdc0227

(adjust_frame_glyphs_for_frame_redisplay): Set garbaged flag in presence of window margins. (showing_window_margins_p): New function.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 16 Apr 2007 16:24:33 +0000
parents e90d04cd455a
children 922696f363b0 b8d9a391daf3 95d0cdf160ea
line wrap: on
line diff