diff src/w32select.c @ 15543:1047c2816dd4

(redisplay_internal): Use last_had_star to decide whether to update the mode line to update the star. (update_menu_bar): Likewise. Also, don't set w->update_mode_line for frames that use set_frame_menubar. (redisplay_internal, mark_window_display_accurate): Set last_had_star.
author Richard M. Stallman <rms@gnu.org>
date Fri, 28 Jun 1996 08:10:29 +0000
parents 440d937a60f7
children 481b7874a1e9
line wrap: on
line diff