Fix the rendering issue with other frontend than intel.

diff --git a/console.h b/console.h
index 9322c65b54150976d12decf8d284e790a8436685..1e396413e4d46dd8a6bc3b9c00dd5eba18370f5a 100644 (file)
--- a/console.h
+++ b/console.h
@@ -175,6 +175,7 @@ void intel_display_init(DisplayState *ds);
 void intel_focus(int focus);
 int intel_getfocus(void);
 void intel_take_screenshot(const char *filename);
+extern int intel_output;
 extern uint32_t guest_framebuffer;
 void unset_vga_acc(void);
 void set_vga_acc(void);

diff --git a/hw/vga.c b/hw/vga.c
index 371362b2c7a69bcf0862324ada92c152d2badf3d..723aa6b6422d71fd0ea497b6675b005e3bd0eb0f 100644 (file)
--- a/hw/vga.c
+++ b/hw/vga.c
@@ -1481,7 +1481,7 @@ static void vga_draw_graphic(VGAState *s, int full_update)
         full_update = 1;
     }
     /* XXX this works only if intel.c is the frontend */
-    if (s->ds->shared_buf)
+    if (s->ds->shared_buf && intel_output)
         return;
 
     s->rgb_to_pixel =