From 213e72e4729c4231325a7b97c42ea83150bd6638 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Fri, 22 Aug 1997 03:36:28 +0000
Subject: [PATCH] fixed bugs in austin

original commit: 8ef1d84915f7cd30fa08aaf28f47660cbbb068ea
---
 collects/mred/edit.ss  |  4 +--
 collects/mred/prefs.ss | 65 ++++++++++++++++++++++++------------------
 2 files changed, 39 insertions(+), 30 deletions(-)

diff --git a/collects/mred/edit.ss b/collects/mred/edit.ss
index 859db752..bfaefcea 100644
--- a/collects/mred/edit.ss
+++ b/collects/mred/edit.ss
@@ -843,6 +843,7 @@
 	       (super-after-delete start len))]
 	    [after-edit-sequence
 	     (lambda ()
+	       (super-after-edit-sequence)
 	       (set! edit-sequence-depth (sub1 edit-sequence-depth))
 	       (when (= 0 edit-sequence-depth)
 		 (let ([frame (get-frame)])
@@ -854,8 +855,7 @@
 		     (update-position-edit))
 		   (when lock-needs-updating
 		     (set! lock-needs-updating #f)
-		     (send frame lock-status-changed))))
-	       (super-after-edit-sequence))]
+		     (send frame lock-status-changed)))))]
 	    [on-edit-sequence
 	     (lambda ()
 	       (set! edit-sequence-depth (add1 edit-sequence-depth))
diff --git a/collects/mred/prefs.ss b/collects/mred/prefs.ss
index 5f4d7eb4..5a369be4 100644
--- a/collects/mred/prefs.ss
+++ b/collects/mred/prefs.ss
@@ -272,11 +272,7 @@
 			    "Modern" "Swiss" "Script"))
     (define font-size-entry "defaultFontSize")
     (define font-default-string "Default Value")
-    (define font-default-size
-      (case wx:platform
-	[(unix) 14]
-	[(windows) 12]
-	[(macintosh) 12]))
+    (define font-default-size 12)
     (define font-section "mred")
     (define build-font-entry (lambda (x) (string-append "Screen" x "__")))
     (define font-file  (wx:find-path 'setup-file))
@@ -348,6 +344,10 @@
 	    (make-check 'mred:show-status-line "Show status-line?" id id)
 	    (make-check 'mred:line-offsets "Count line and column numbers from one?" id id)
 	    (make-check 'mred:menu-bindings "Enable keybindings in menus?" id id)
+	    (unless (eq? wx:platform 'unix) 
+	      (make-check 'mred:print-output-mode "Automatically print to postscript file?"
+			  (lambda (b) (if b 1 0))
+			  (lambda (n) (= n 1))))
 	    main))
 	#f)
        (make-ppanel
@@ -385,35 +385,44 @@
 				       null -1 -1 #t 300 400)])
 				 (unless (null? new-value)
 				   (set-preference pref-sym
-						   new-value)
-				   (send horiz change-children
-					 (lambda (l)
-					   (list label space 
-						 (make-object
-						  mred:message%
-						  horiz
-						  new-value)
-						 button))))))
+						   new-value))))
 			     "Change")])
+		      (add-preference-callback
+		       pref-sym
+		       (lambda (p new-value)
+			 (send horiz change-children
+			       (lambda (l)
+				 (list label space 
+				       (make-object
+					   mred:message%
+					 horiz
+					 new-value)
+				       button)))))
 		      (void)))])
 	    (for-each make-family-panel font-families)
 	    (let ([size-panel (make-object mred:horizontal-panel% main -1 -1 -1 -1 wx:const-border)])
 	      '(make-object mred:message% size-panel "Size")
 	      '(make-object mred:horizontal-panel% size-panel)
-	      (make-object mred:slider% size-panel 
-			   (let ([sym (build-font-preference-symbol 
-				       font-size-entry)])
-			     (lambda (slider evt)
-			       (set-preference sym
-					       (send slider get-value))))
-			   "Size"
-			   (let ([b (box 0)])
-			     (if (wx:get-resource font-section 
-						  font-size-entry
-						  b)
-				 (unbox b)
-				 font-default-size))
-			   1 127 50))
+	      (let* ([sym (build-font-preference-symbol 
+			   font-size-entry)]
+		     [size-slider
+		      (make-object mred:slider% size-panel 
+				   (lambda (slider evt)
+				     (set-preference sym
+						     (send slider get-value)))
+				   "Size"
+				   (let ([b (box 0)])
+				     (if (wx:get-resource font-section 
+							  font-size-entry
+							  b)
+					 (unbox b)
+					 font-default-size))
+				   1 127 50)])
+		(add-preference-callback
+		 sym
+		 (lambda (p value)
+		   (unless (= value (send size-slider get-value))
+		     (send size-slider set-value value))))))
 	    (make-object mred:message% main
 			 "Restart to see font changes")
 	    main))