# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1541367917 -3600
# Node ID 6eca15a9804d30b9f9f1a897bb947e717146a100
# Parent  b09769a6eaa574b11850268091e6daa6fb23dfd1
Switch to double-buffering. Only vga-cpu and vga-timer are actually usable.

diff -r b09769a6eaa5 -r 6eca15a9804d examples/vga-cpu/vga.h
--- a/examples/vga-cpu/vga.h	Sun Nov 04 22:44:17 2018 +0100
+++ b/examples/vga-cpu/vga.h	Sun Nov 04 22:45:17 2018 +0100
@@ -23,8 +23,8 @@
 #include "vga_common.h"
 
 #define LINE_LENGTH             160 /* pixels */
-#define LINE_COUNT              256 /* display lines per frame */
-#define FRAME_COUNT             1   /* double-buffered display */
+#define LINE_COUNT              128 /* display lines per frame */
+#define FRAME_COUNT             2   /* double-buffered display */
 
 /* 24MHz cycle measurements. */
 
diff -r b09769a6eaa5 -r 6eca15a9804d examples/vga-dual/vga.h
--- a/examples/vga-dual/vga.h	Sun Nov 04 22:44:17 2018 +0100
+++ b/examples/vga-dual/vga.h	Sun Nov 04 22:45:17 2018 +0100
@@ -23,8 +23,8 @@
 #include "vga_common.h"
 
 #define LINE_LENGTH             160 /* pixels */
-#define LINE_COUNT              256 /* display lines per frame */
-#define FRAME_COUNT             1   /* double-buffered display */
+#define LINE_COUNT              128 /* display lines per frame */
+#define FRAME_COUNT             2   /* double-buffered display */
 
 /* 24MHz cycle measurements. */
 
diff -r b09769a6eaa5 -r 6eca15a9804d examples/vga-pmp/vga.h
--- a/examples/vga-pmp/vga.h	Sun Nov 04 22:44:17 2018 +0100
+++ b/examples/vga-pmp/vga.h	Sun Nov 04 22:45:17 2018 +0100
@@ -23,8 +23,8 @@
 #include "vga_common.h"
 
 #define LINE_LENGTH             160 /* pixels */
-#define LINE_COUNT              256 /* display lines per frame */
-#define FRAME_COUNT             1   /* double-buffered display */
+#define LINE_COUNT              128 /* display lines per frame */
+#define FRAME_COUNT             2   /* double-buffered display */
 
 /* 48MHz cycle measurements. */
 
diff -r b09769a6eaa5 -r 6eca15a9804d examples/vga-timer/vga.h
--- a/examples/vga-timer/vga.h	Sun Nov 04 22:44:17 2018 +0100
+++ b/examples/vga-timer/vga.h	Sun Nov 04 22:45:17 2018 +0100
@@ -24,7 +24,7 @@
 
 #define LINE_LENGTH             92  /* pixels */
 #define LINE_COUNT              128 /* display lines per frame */
-#define FRAME_COUNT             1   /* double-buffered display */
+#define FRAME_COUNT             2   /* double-buffered display */
 
 /* 24MHz cycle measurements. */
 
diff -r b09769a6eaa5 -r 6eca15a9804d examples/vga/vga.h
--- a/examples/vga/vga.h	Sun Nov 04 22:44:17 2018 +0100
+++ b/examples/vga/vga.h	Sun Nov 04 22:45:17 2018 +0100
@@ -23,8 +23,8 @@
 #include "vga_common.h"
 
 #define LINE_LENGTH             160 /* pixels */
-#define LINE_COUNT              256 /* display lines per frame */
-#define FRAME_COUNT             1   /* double-buffered display */
+#define LINE_COUNT              128 /* display lines per frame */
+#define FRAME_COUNT             2   /* double-buffered display */
 
 /* 24MHz cycle measurements. */