diff src/m/tower32v3.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 6aba169c4b1f 95d0cdf160ea
line wrap: on
line diff