From 8a038a6ed0630dad11bdf041dedc74ee18acfa6c Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Tue, 27 Jun 1989 10:18:01 +0000 Subject: [PATCH] Fix bug in sense of graphics buffering. Previously it worked correctly by default, but the enable/disable operations had the wrong sense. Also, flush the buffer when it is disabled. --- v7/src/runtime/graphics.scm | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/v7/src/runtime/graphics.scm b/v7/src/runtime/graphics.scm index 592c92af9..6b280d502 100644 --- a/v7/src/runtime/graphics.scm +++ b/v7/src/runtime/graphics.scm @@ -1,6 +1,6 @@ #| -*-Scheme-*- -$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/runtime/graphics.scm,v 1.1 1989/06/23 00:01:08 cph Exp $ +$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/runtime/graphics.scm,v 1.2 1989/06/27 10:18:01 cph Rel $ Copyright (c) 1989 Massachusetts Institute of Technology @@ -180,7 +180,7 @@ MIT in each case. |# descriptor (drawing-mode drawing-mode:dominant) (line-style line-style:solid) - (buffer? true)) + (buffer? false)) (define (make-graphics-device type . arguments) (%make-graphics-device type @@ -223,10 +223,12 @@ MIT in each case. |# (set-graphics-device/buffer?! device true)) (define (graphics-disable-buffering device) + (if (graphics-device/buffer? device) + (graphics-flush device)) (set-graphics-device/buffer?! device false)) -(define (maybe-flush device) - (if (graphics-device/buffer? device) +(define-integrable (maybe-flush device) + (if (not (graphics-device/buffer? device)) (graphics-flush device))) (define (graphics-close device) -- 2.25.1