(adjust_frame_glyphs_for_frame_redisplay): Set garbaged flag in
authorChong Yidong <cyd@stupidchicken.com>
Mon, 16 Apr 2007 16:24:33 +0000 (16:24 +0000)
committerChong Yidong <cyd@stupidchicken.com>
Mon, 16 Apr 2007 16:24:33 +0000 (16:24 +0000)
commit075757ccc6ad2c7d3df1a1e70a7d56dbf3d29757
treed9d3d76fe985cfc9f89ae0b9440f145cb102b2ec
parent30603ba1d66c293acd7d9723c974a4b136b98a36
(adjust_frame_glyphs_for_frame_redisplay): Set garbaged flag in
presence of window margins.
(showing_window_margins_p): New function.
src/dispnew.c