{
struct w32_display_info *display_info = FRAME_W32_DISPLAY_INFO (f);
+ if (! FRAME_W32_P (f))
+ return;
+
/* Regenerate display palette before drawing if list of requested
colors has changed. */
if (display_info->regen_palette)
x_update_end (f)
struct frame *f;
{
+ if (! FRAME_W32_P (f))
+ return;
+
/* Mouse highlight may be displayed again. */
FRAME_W32_DISPLAY_INFO (f)->mouse_face_defer = 0;
}
w32_reassert_line_highlight (new, vpos)
int new, vpos;
{
+ struct frame *f;
+
+ if (updating_frame)
+ f = updating_frame;
+ else
+ f = SELECTED_FRAME ();
+
+ if (! FRAME_W32_P (f))
+ return;
+
abort ();
}
x_change_line_highlight (new_highlight, vpos, y, first_unused_hpos)
int new_highlight, vpos, y, first_unused_hpos;
{
+ struct frame *f;
+
+ if (updating_frame)
+ f = updating_frame;
+ else
+ f = SELECTED_FRAME ();
+
+ if (! FRAME_W32_P (f))
+ return;
+
abort ();
}
x_delete_glyphs (n)
register int n;
{
+ struct frame *f;
+
+ if (updating_frame)
+ f = updating_frame;
+ else
+ f = SELECTED_FRAME ();
+
+ if (! FRAME_W32_P (f))
+ return;
+
abort ();
}
else
f = SELECTED_FRAME ();
+ if (! FRAME_W32_P (f))
+ return;
+
/* Clearing the frame will erase any cursor, so mark them all as no
longer visible. */
mark_window_cursors_off (XWINDOW (FRAME_ROOT_WINDOW (f)));
static void
w32_ring_bell (void)
{
+ struct frame *f;
+
+ f = SELECTED_FRAME ();
+
+ if (! FRAME_W32_P (f))
+ return;
+
BLOCK_INPUT;
if (visible_bell)
x_ins_del_lines (vpos, n)
int vpos, n;
{
+ struct frame *f;
+
+ if (updating_frame)
+ f = updating_frame;
+ else
+ f = SELECTED_FRAME ();
+
+ if (! FRAME_W32_P (f))
+ return;
+
abort ();
}
w32_frame_rehighlight (frame)
struct frame *frame;
{
+ if (! FRAME_W32_P (frame))
+ return;
+
x_frame_rehighlight (FRAME_W32_DISPLAY_INFO (frame));
}
FRAME_PTR f;
int raise_flag;
{
+ if (! FRAME_W32_P (f))
+ return;
+
if (raise_flag)
x_raise_frame (f);
else