From b8fc5fcfceaec806cff80c9897b8cbb9f52a1a71 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 16 Sep 2010 13:11:25 -0500 Subject: [PATCH] Rackety --- collects/redex/gui.rkt | 12 ++++++------ collects/redex/private/stepper.rkt | 17 ++++++++--------- collects/redex/private/traces.rkt | 22 +++++++++++----------- 3 files changed, 25 insertions(+), 26 deletions(-) diff --git a/collects/redex/gui.rkt b/collects/redex/gui.rkt index 75e02d80ea..e44a923050 100644 --- a/collects/redex/gui.rkt +++ b/collects/redex/gui.rkt @@ -2,7 +2,7 @@ ;; use `count-snips'; use something associated with the ;; equal hash-table -#lang scheme/base +#lang racket/base (require "private/stepper.ss" "private/traces.ss" @@ -10,9 +10,9 @@ "private/reduction-semantics.ss" "private/size-snip.ss" mrlib/graph - scheme/contract - scheme/class - scheme/gui/base) + racket/contract + racket/class + racket/gui/base) (define pp-contract (or/c (-> any/c string?) @@ -35,8 +35,8 @@ (any/c term-node? . -> . any)) #:pp pp-contract #:colors (listof (list/c string? string?)) - #:racket-colors? boolean? #:scheme-colors? boolean? + #:racket-colors? boolean? #:layout (-> any/c any/c) #:edge-label-font (or/c #f (is-a?/c font%)) #:edge-labels? boolean? @@ -52,8 +52,8 @@ (any/c term-node? . -> . any)) #:pp pp-contract #:colors (listof any/c) - #:racket-colors? boolean? #:scheme-colors? boolean? + #:racket-colors? boolean? #:layout (-> any/c any/c) #:edge-label-font (or/c #f (is-a?/c font%)) #:edge-labels? boolean? diff --git a/collects/redex/private/stepper.rkt b/collects/redex/private/stepper.rkt index ddc628e8d7..217ec04a2d 100644 --- a/collects/redex/private/stepper.rkt +++ b/collects/redex/private/stepper.rkt @@ -11,16 +11,16 @@ todo: |# -#lang scheme/base +#lang racket/base -(require scheme/pretty - scheme/gui/base - scheme/list - scheme/class - scheme/set +(require racket/pretty + racket/gui/base + racket/list + racket/class + racket/set framework mrlib/graph - scheme/contract + racket/contract "sexp-diffs.ss" "size-snip.ss" "reduction-semantics.ss") @@ -712,8 +712,7 @@ todo: (super-new))) (define (mk-big-snip sexp node pp init-cw) - (let* (#;[txt (new scheme:text%)] - [txt (new text:keymap%)] + (let* ([txt (new text:keymap%)] [s (new big-snip% [pp pp] [node node] diff --git a/collects/redex/private/traces.rkt b/collects/redex/private/traces.rkt index 98812a45c7..d3e51d53f1 100644 --- a/collects/redex/private/traces.rkt +++ b/collects/redex/private/traces.rkt @@ -1,4 +1,4 @@ -#lang scheme/base +#lang racket/base ;; should cache the count of new snips -- dont ;; use `count-snips'; use something associated with the @@ -9,9 +9,9 @@ "matcher.ss" "size-snip.ss" "dot.ss" - scheme/gui/base - scheme/class - scheme/file + racket/gui/base + racket/class + racket/file framework) (preferences:set-default 'plt-reducer:show-bottom #t boolean?) @@ -374,13 +374,13 @@ ;; set-font-size : number -> void ;; =eventspace main thread= (define (set-font-size size) - (let* ([scheme-standard (send (editor:get-standard-style-list) find-named-style - "Standard")] - [scheme-delta (make-object style-delta%)]) - (send scheme-standard get-delta scheme-delta) - (send scheme-delta set-size-mult 0) - (send scheme-delta set-size-add size) - (send scheme-standard set-delta scheme-delta) + (let* ([standard (send (editor:get-standard-style-list) find-named-style + "Standard")] + [delta (make-object style-delta%)]) + (send standard get-delta delta) + (send delta set-size-mult 0) + (send delta set-size-add size) + (send standard set-delta delta) (let loop ([snip (send graph-pb find-first-snip)]) (when snip (when (is-a? snip reflowing-snip<%>)