fixed bugs in austin

original commit: 8ef1d84915f7cd30fa08aaf28f47660cbbb068ea

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))))
+		     (send frame lock-status-changed)))))]
-	       (super-after-edit-sequence))]
 	    [on-edit-sequence
 	     (lambda ()
 	       (set! edit-sequence-depth (add1 edit-sequence-depth))

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
+    (define font-default-size 12)
-      (case wx:platform
-	[(unix) 14]
-	[(windows) 12]
-	[(macintosh) 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)
+						   new-value))))
-				   (send horiz change-children
-					 (lambda (l)
-					   (list label space 
-						 (make-object
-						  mred:message%
-						  horiz
-						  new-value)
-						 button))))))
 			     "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 
-			   (let ([sym (build-font-preference-symbol 
+			   font-size-entry)]
-				       font-size-entry)])
+		     [size-slider
-			     (lambda (slider evt)
+		      (make-object mred:slider% size-panel 
-			       (set-preference sym
+				   (lambda (slider evt)
-					       (send slider get-value))))
+				     (set-preference sym
-			   "Size"
+						     (send slider get-value)))
-			   (let ([b (box 0)])
+				   "Size"
-			     (if (wx:get-resource font-section 
+				   (let ([b (box 0)])
-						  font-size-entry
+				     (if (wx:get-resource font-section 
-						  b)
+							  font-size-entry
-				 (unbox b)
+							  b)
-				 font-default-size))
+					 (unbox b)
-			   1 127 50))
+					 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))