Adjust the dependencies in redex/pict so it doesn't depend on racket/gui/base anymore
This commit is contained in:
parent
6e1ffc24cf
commit
d0d2285c4c
|
@ -5,7 +5,6 @@
|
||||||
"private/core-layout.ss"
|
"private/core-layout.ss"
|
||||||
"private/loc-wrapper.ss"
|
"private/loc-wrapper.ss"
|
||||||
"reduction-semantics.ss"
|
"reduction-semantics.ss"
|
||||||
(lib "mred.ss" "mred")
|
|
||||||
(lib "mrpict.ss" "texpict"))
|
(lib "mrpict.ss" "texpict"))
|
||||||
|
|
||||||
(define reduction-rule-style/c
|
(define reduction-rule-style/c
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#lang scheme/base
|
#lang scheme/base
|
||||||
(require texpict/mrpict
|
(require texpict/mrpict
|
||||||
scheme/gui/base
|
racket/draw
|
||||||
scheme/class
|
scheme/class
|
||||||
scheme/contract)
|
scheme/contract)
|
||||||
|
|
||||||
|
@ -28,8 +28,7 @@
|
||||||
font-family
|
font-family
|
||||||
'normal
|
'normal
|
||||||
'normal))])
|
'normal))])
|
||||||
(let* ([ps-pen-width-factor 0.042] ;; factor of the height to get the pen width
|
(let* ([pen-width-factor 0.042] ;; factor of the height to get the pen width
|
||||||
[screen-pen-width-factor .08]
|
|
||||||
[line-pos (+ a (/ (- h a) 2))]
|
[line-pos (+ a (/ (- h a) 2))]
|
||||||
[head-width (/ w 5)]
|
[head-width (/ w 5)]
|
||||||
[head-height (* (- h a) 9/16)]
|
[head-height (* (- h a) 9/16)]
|
||||||
|
@ -59,12 +58,7 @@
|
||||||
(dc
|
(dc
|
||||||
(λ (dc dx dy)
|
(λ (dc dx dy)
|
||||||
(let ([old-pen (send dc get-pen)]
|
(let ([old-pen (send dc get-pen)]
|
||||||
[old-brush (send dc get-brush)]
|
[old-brush (send dc get-brush)])
|
||||||
[pen-width-factor
|
|
||||||
(if (or (is-a? dc printer-dc%)
|
|
||||||
(is-a? dc post-script-dc%))
|
|
||||||
ps-pen-width-factor
|
|
||||||
screen-pen-width-factor)])
|
|
||||||
(send dc set-pen (send old-pen get-color) (* h pen-width-factor) 'solid)
|
(send dc set-pen (send old-pen get-color) (* h pen-width-factor) 'solid)
|
||||||
|
|
||||||
;; main line of arrow
|
;; main line of arrow
|
||||||
|
|
|
@ -8,7 +8,7 @@
|
||||||
texpict/mrpict
|
texpict/mrpict
|
||||||
|
|
||||||
scheme/match
|
scheme/match
|
||||||
scheme/gui/base
|
racket/draw
|
||||||
scheme/class)
|
scheme/class)
|
||||||
|
|
||||||
(require (for-syntax scheme/base))
|
(require (for-syntax scheme/base))
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
(require (lib "mrpict.ss" "texpict")
|
(require (lib "mrpict.ss" "texpict")
|
||||||
(lib "utils.ss" "texpict")
|
(lib "utils.ss" "texpict")
|
||||||
racket/contract
|
racket/contract
|
||||||
scheme/gui/base
|
racket/draw
|
||||||
scheme/class
|
scheme/class
|
||||||
scheme/match
|
scheme/match
|
||||||
(only-in scheme/list drop-right last partition)
|
(only-in scheme/list drop-right last partition)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user