More Racketying
This commit is contained in:
parent
c940caa4d6
commit
bc5ced58e2
|
@ -1,5 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require scheme/gui/base "private/key.rkt")
|
(require racket/gui/base "private/key.rkt")
|
||||||
|
|
||||||
(define debugging? (getenv "PLTDRDEBUG"))
|
(define debugging? (getenv "PLTDRDEBUG"))
|
||||||
(define profiling? (getenv "PLTDRPROFILE"))
|
(define profiling? (getenv "PLTDRPROFILE"))
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/unit
|
#lang racket/unit
|
||||||
|
|
||||||
(require racket/class
|
(require racket/class
|
||||||
string-constants
|
string-constants
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
|
|
||||||
(require typed/framework/framework
|
(require typed/framework/framework
|
||||||
typed/mred/mred
|
typed/mred/mred
|
||||||
scheme/class)
|
racket/class)
|
||||||
|
|
||||||
(provide pick-new-language looks-like-module?)
|
(provide pick-new-language looks-like-module?)
|
||||||
|
|
||||||
|
|
|
@ -9,7 +9,7 @@ profile todo:
|
||||||
|#
|
|#
|
||||||
|
|
||||||
(require errortrace/errortrace-key
|
(require errortrace/errortrace-key
|
||||||
scheme/unit
|
racket/unit
|
||||||
racket/contract
|
racket/contract
|
||||||
errortrace/stacktrace
|
errortrace/stacktrace
|
||||||
racket/class
|
racket/class
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require scheme/unit)
|
(require racket/unit)
|
||||||
|
|
||||||
(provide drracket:eval^
|
(provide drracket:eval^
|
||||||
drracket:debug^
|
drracket:debug^
|
||||||
|
@ -39,6 +39,7 @@
|
||||||
(add-mode
|
(add-mode
|
||||||
get-modes
|
get-modes
|
||||||
add-initial-modes
|
add-initial-modes
|
||||||
|
make-mode
|
||||||
(struct mode (name surrogate repl-submit matches-language)
|
(struct mode (name surrogate repl-submit matches-language)
|
||||||
#:omit-constructor)))
|
#:omit-constructor)))
|
||||||
|
|
||||||
|
@ -126,6 +127,7 @@
|
||||||
(add-language
|
(add-language
|
||||||
get-languages
|
get-languages
|
||||||
(struct language-settings (language settings))
|
(struct language-settings (language settings))
|
||||||
|
make-language-settings
|
||||||
get-settings-preferences-symbol
|
get-settings-preferences-symbol
|
||||||
language-dialog
|
language-dialog
|
||||||
fill-language-dialog))
|
fill-language-dialog))
|
||||||
|
@ -143,6 +145,7 @@
|
||||||
())
|
())
|
||||||
(define-signature drracket:tools^ extends drracket:tools-cm^
|
(define-signature drracket:tools^ extends drracket:tools-cm^
|
||||||
((struct successful-tool (spec bitmap name url))
|
((struct successful-tool (spec bitmap name url))
|
||||||
|
make-successful-tool
|
||||||
get-successful-tools
|
get-successful-tools
|
||||||
only-in-phase
|
only-in-phase
|
||||||
load/invoke-all-tools
|
load/invoke-all-tools
|
||||||
|
@ -185,7 +188,8 @@
|
||||||
add-to-program-editor-mixin
|
add-to-program-editor-mixin
|
||||||
forget-saved-bug-report
|
forget-saved-bug-report
|
||||||
record-saved-bug-report
|
record-saved-bug-report
|
||||||
(struct teachpack-callbacks (get-names remove add))))
|
(struct teachpack-callbacks (get-names remove add))
|
||||||
|
make-teachpack-callbacks))
|
||||||
|
|
||||||
(define-signature drracket:frame-cm^
|
(define-signature drracket:frame-cm^
|
||||||
(<%>
|
(<%>
|
||||||
|
@ -280,8 +284,9 @@
|
||||||
put-executable
|
put-executable
|
||||||
|
|
||||||
;(struct loc (source position line column span))
|
;(struct loc (source position line column span))
|
||||||
|
make-text/pos
|
||||||
(struct text/pos (text start end))
|
(struct text/pos (text start end))
|
||||||
|
make-simple-settings
|
||||||
(struct simple-settings (case-sensitive
|
(struct simple-settings (case-sensitive
|
||||||
printing-style
|
printing-style
|
||||||
fraction-style
|
fraction-style
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
|
|
||||||
(require mred
|
(require mred
|
||||||
scheme/unit
|
racket/unit
|
||||||
racket/port
|
racket/port
|
||||||
racket/class
|
racket/class
|
||||||
syntax/toplevel
|
syntax/toplevel
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require scheme/unit
|
(require racket/unit
|
||||||
racket/class
|
racket/class
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
"drsig.rkt"
|
"drsig.rkt"
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/unit
|
#lang racket/unit
|
||||||
(require string-constants
|
(require string-constants
|
||||||
racket/match
|
racket/match
|
||||||
racket/class
|
racket/class
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/unit
|
#lang racket/unit
|
||||||
|
|
||||||
(require racket/class
|
(require racket/class
|
||||||
"drsig.rkt")
|
"drsig.rkt")
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/unit
|
#lang racket/unit
|
||||||
|
|
||||||
(require racket/gui/base
|
(require racket/gui/base
|
||||||
browser/external
|
browser/external
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/unit
|
#lang racket/unit
|
||||||
(require string-constants
|
(require string-constants
|
||||||
"drsig.rkt"
|
"drsig.rkt"
|
||||||
racket/gui/base)
|
racket/gui/base)
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang typed/scheme/base
|
#lang typed/racket/base
|
||||||
|
|
||||||
(require typed/mred/mred
|
(require typed/mred/mred
|
||||||
typed/framework/framework
|
typed/framework/framework
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require scheme/unit
|
(require racket/unit
|
||||||
mrlib/hierlist
|
mrlib/hierlist
|
||||||
racket/class
|
racket/class
|
||||||
racket/contract
|
racket/contract
|
||||||
|
@ -127,9 +127,9 @@
|
||||||
x))
|
x))
|
||||||
(get-languages))
|
(get-languages))
|
||||||
(list-ref (get-languages) 0))])
|
(list-ref (get-languages) 0))])
|
||||||
(make-language-settings lang (send lang default-settings))))
|
(language-settings lang (send lang default-settings))))
|
||||||
|
|
||||||
;; type language-settings = (make-language-settings (instanceof language<%>) settings)
|
;; type language-settings = (language-settings (instanceof language<%>) settings)
|
||||||
(define-struct language-settings (language settings))
|
(define-struct language-settings (language settings))
|
||||||
|
|
||||||
|
|
||||||
|
@ -262,7 +262,7 @@
|
||||||
(send dialog show #t)
|
(send dialog show #t)
|
||||||
(if cancelled?
|
(if cancelled?
|
||||||
#f
|
#f
|
||||||
(make-language-settings
|
(language-settings
|
||||||
(get-selected-language)
|
(get-selected-language)
|
||||||
(get-selected-language-settings)))))
|
(get-selected-language-settings)))))
|
||||||
|
|
||||||
|
@ -1977,8 +1977,8 @@
|
||||||
|
|
||||||
(let ([new-lang
|
(let ([new-lang
|
||||||
(language-dialog #f
|
(language-dialog #f
|
||||||
(make-language-settings lang
|
(language-settings lang
|
||||||
(send lang default-settings))
|
(send lang default-settings))
|
||||||
drs-frame)])
|
drs-frame)])
|
||||||
(when new-lang
|
(when new-lang
|
||||||
(set! language-chosen? #t)
|
(set! language-chosen? #t)
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/unit
|
#lang racket/unit
|
||||||
;; WARNING: printf is rebound in this module to always use the
|
;; WARNING: printf is rebound in this module to always use the
|
||||||
;; original stdin/stdout of drscheme, instead of the
|
;; original stdin/stdout of drscheme, instead of the
|
||||||
;; user's io ports, to aid any debugging printouts.
|
;; user's io ports, to aid any debugging printouts.
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require scheme/unit
|
(require racket/unit
|
||||||
"modes.rkt"
|
"modes.rkt"
|
||||||
"font.rkt"
|
"font.rkt"
|
||||||
"eval.rkt"
|
"eval.rkt"
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/unit
|
#lang racket/unit
|
||||||
|
|
||||||
(require string-constants
|
(require string-constants
|
||||||
mzlib/contract
|
mzlib/contract
|
||||||
|
@ -487,7 +487,7 @@
|
||||||
(drracket:language-configuration:get-languages))])
|
(drracket:language-configuration:get-languages))])
|
||||||
(and lang
|
(and lang
|
||||||
(let ([settings (send lang unmarshall-settings marshalled-settings)])
|
(let ([settings (send lang unmarshall-settings marshalled-settings)])
|
||||||
(drracket:language-configuration:make-language-settings
|
(drracket:language-configuration:language-settings
|
||||||
lang
|
lang
|
||||||
(or settings (send lang default-settings)))))))))
|
(or settings (send lang default-settings)))))))))
|
||||||
|
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/unit
|
#lang racket/unit
|
||||||
(require string-constants
|
(require string-constants
|
||||||
racket/class
|
racket/class
|
||||||
racket/list
|
racket/list
|
||||||
|
|
|
@ -8,7 +8,7 @@
|
||||||
string-constants
|
string-constants
|
||||||
mrlib/graph
|
mrlib/graph
|
||||||
"drsig.rkt"
|
"drsig.rkt"
|
||||||
scheme/unit
|
racket/unit
|
||||||
racket/async-channel
|
racket/async-channel
|
||||||
setup/private/lib-roots)
|
setup/private/lib-roots)
|
||||||
|
|
||||||
|
@ -667,7 +667,7 @@
|
||||||
(define text/pos
|
(define text/pos
|
||||||
(let ([t (make-object text:basic%)])
|
(let ([t (make-object text:basic%)])
|
||||||
(send t load-file filename)
|
(send t load-file filename)
|
||||||
(drracket:language:make-text/pos
|
(drracket:language:text/pos
|
||||||
t
|
t
|
||||||
0
|
0
|
||||||
(send t last-position))))
|
(send t last-position))))
|
||||||
|
|
|
@ -4,7 +4,7 @@
|
||||||
mrlib/bitmap-label
|
mrlib/bitmap-label
|
||||||
racket/contract
|
racket/contract
|
||||||
framework
|
framework
|
||||||
scheme/unit
|
racket/unit
|
||||||
racket/class
|
racket/class
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
"drsig.rkt")
|
"drsig.rkt")
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
|
|
||||||
(provide module-language@)
|
(provide module-language@)
|
||||||
(require scheme/unit
|
(require racket/unit
|
||||||
racket/class
|
racket/class
|
||||||
racket/list
|
racket/list
|
||||||
racket/path
|
racket/path
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/unit
|
#lang racket/unit
|
||||||
(require framework
|
(require framework
|
||||||
mzlib/class
|
mzlib/class
|
||||||
mred
|
mred
|
||||||
|
|
|
@ -23,7 +23,7 @@ TODO
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/path
|
racket/path
|
||||||
racket/pretty
|
racket/pretty
|
||||||
scheme/unit
|
racket/unit
|
||||||
racket/list
|
racket/list
|
||||||
|
|
||||||
string-constants
|
string-constants
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/unit
|
#lang racket/unit
|
||||||
(require mzlib/class
|
(require mzlib/class
|
||||||
"drsig.rkt"
|
"drsig.rkt"
|
||||||
framework)
|
framework)
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/unit
|
#lang racket/unit
|
||||||
|
|
||||||
#|
|
#|
|
||||||
|
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#lang scheme/unit
|
#lang racket/unit
|
||||||
|
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/list
|
racket/list
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
|
|
||||||
(require racket/contract
|
(require racket/contract
|
||||||
scheme/unit
|
racket/unit
|
||||||
racket/class
|
racket/class
|
||||||
racket/path
|
racket/path
|
||||||
racket/port
|
racket/port
|
||||||
|
|
|
@ -12,7 +12,7 @@ module browser threading seems wrong.
|
||||||
|#
|
|#
|
||||||
|
|
||||||
(require racket/contract
|
(require racket/contract
|
||||||
scheme/unit
|
racket/unit
|
||||||
racket/class
|
racket/class
|
||||||
racket/path
|
racket/path
|
||||||
racket/port
|
racket/port
|
||||||
|
@ -575,7 +575,7 @@ module browser threading seems wrong.
|
||||||
module-language-settings)])
|
module-language-settings)])
|
||||||
(when matching-language
|
(when matching-language
|
||||||
(set-next-settings
|
(set-next-settings
|
||||||
(drracket:language-configuration:make-language-settings
|
(drracket:language-configuration:language-settings
|
||||||
matching-language
|
matching-language
|
||||||
settings)
|
settings)
|
||||||
#f))))
|
#f))))
|
||||||
|
@ -834,17 +834,18 @@ module browser threading seems wrong.
|
||||||
|
|
||||||
;; test cases for is-lang-line?
|
;; test cases for is-lang-line?
|
||||||
#;
|
#;
|
||||||
(list (is-lang-line? "#lang x")
|
(printf "~s\n"
|
||||||
(is-lang-line? "#lang scheme")
|
(list (is-lang-line? "#lang x")
|
||||||
(is-lang-line? "#lang scheme ")
|
(is-lang-line? "#lang racket")
|
||||||
(not (is-lang-line? "#lang schemeα"))
|
(is-lang-line? "#lang racket ")
|
||||||
(not (is-lang-line? "#lang scheme/ "))
|
(not (is-lang-line? "#lang racketα"))
|
||||||
(not (is-lang-line? "#lang /scheme "))
|
(not (is-lang-line? "#lang racket/ "))
|
||||||
(is-lang-line? "#lang sch/eme ")
|
(not (is-lang-line? "#lang /racket "))
|
||||||
(is-lang-line? "#lang r6rs")
|
(is-lang-line? "#lang rac/ket ")
|
||||||
(is-lang-line? "#!r6rs")
|
(is-lang-line? "#lang r6rs")
|
||||||
(is-lang-line? "#!r6rs ")
|
(is-lang-line? "#!r6rs")
|
||||||
(not (is-lang-line? "#!/bin/sh")))
|
(is-lang-line? "#!r6rs ")
|
||||||
|
(not (is-lang-line? "#!/bin/sh"))))
|
||||||
|
|
||||||
(define (get-module-language/settings)
|
(define (get-module-language/settings)
|
||||||
(let* ([module-language
|
(let* ([module-language
|
||||||
|
@ -2690,7 +2691,7 @@ module browser threading seems wrong.
|
||||||
(let-values ([(module-language module-language-settings) (get-module-language/settings)])
|
(let-values ([(module-language module-language-settings) (get-module-language/settings)])
|
||||||
(when (and module-language module-language-settings)
|
(when (and module-language module-language-settings)
|
||||||
(send definitions-text set-next-settings
|
(send definitions-text set-next-settings
|
||||||
(drracket:language-configuration:make-language-settings
|
(drracket:language-configuration:language-settings
|
||||||
module-language
|
module-language
|
||||||
module-language-settings)))))))
|
module-language-settings)))))))
|
||||||
|
|
||||||
|
@ -3600,7 +3601,7 @@ module browser threading seems wrong.
|
||||||
[update-settings
|
[update-settings
|
||||||
(λ (settings)
|
(λ (settings)
|
||||||
(send (get-definitions-text) set-next-settings
|
(send (get-definitions-text) set-next-settings
|
||||||
(drracket:language-configuration:make-language-settings language settings))
|
(drracket:language-configuration:language-settings language settings))
|
||||||
(send (get-definitions-text) teachpack-changed))])
|
(send (get-definitions-text) teachpack-changed))])
|
||||||
(set! teachpack-items
|
(set! teachpack-items
|
||||||
(list*
|
(list*
|
||||||
|
@ -4438,7 +4439,7 @@ module browser threading seems wrong.
|
||||||
(λ (x y)
|
(λ (x y)
|
||||||
(send (send frame get-definitions-text)
|
(send (send frame get-definitions-text)
|
||||||
set-next-settings
|
set-next-settings
|
||||||
(drracket:language-configuration:make-language-settings
|
(drracket:language-configuration:language-settings
|
||||||
lang
|
lang
|
||||||
settings)))]))))))
|
settings)))]))))))
|
||||||
(preferences:get 'drracket:recent-language-names))
|
(preferences:get 'drracket:recent-language-names))
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require scheme/gui/base
|
(require racket/gui/base
|
||||||
framework
|
framework
|
||||||
scheme/class)
|
racket/class)
|
||||||
|
|
||||||
;; how long between samples
|
;; how long between samples
|
||||||
(define pause-time 0.1)
|
(define pause-time 0.1)
|
||||||
|
@ -261,8 +261,8 @@
|
||||||
|
|
||||||
;; tool code, for integration with drscheme
|
;; tool code, for integration with drscheme
|
||||||
(begin
|
(begin
|
||||||
(require drscheme/tool
|
(require drracket/tool
|
||||||
scheme/unit
|
racket/unit
|
||||||
string-constants/string-constant)
|
string-constants/string-constant)
|
||||||
|
|
||||||
(define sc-show-sprof "Show SProfile")
|
(define sc-show-sprof "Show SProfile")
|
||||||
|
|
|
@ -18,11 +18,11 @@ If the namespace does not, they are colored the unbound color.
|
||||||
|
|
||||||
|
|
||||||
(require string-constants
|
(require string-constants
|
||||||
scheme/unit
|
racket/unit
|
||||||
scheme/contract
|
racket/contract
|
||||||
scheme/class
|
racket/class
|
||||||
scheme/list
|
racket/list
|
||||||
scheme/promise
|
racket/promise
|
||||||
drracket/tool
|
drracket/tool
|
||||||
syntax/toplevel
|
syntax/toplevel
|
||||||
syntax/boundmap
|
syntax/boundmap
|
||||||
|
@ -37,7 +37,7 @@ If the namespace does not, they are colored the unbound color.
|
||||||
net/url
|
net/url
|
||||||
net/uri-codec
|
net/uri-codec
|
||||||
browser/external
|
browser/external
|
||||||
(for-syntax scheme/base)
|
(for-syntax racket/base)
|
||||||
"syncheck-drracket-button.rkt")
|
"syncheck-drracket-button.rkt")
|
||||||
(provide tool@)
|
(provide tool@)
|
||||||
|
|
||||||
|
|
|
@ -8,7 +8,7 @@ all of the names in the tools library, for use defining keybindings
|
||||||
|
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
(except-in scheme/unit struct)
|
racket/unit
|
||||||
racket/contract
|
racket/contract
|
||||||
racket/class
|
racket/class
|
||||||
|
|
||||||
|
@ -24,13 +24,13 @@ all of the names in the tools library, for use defining keybindings
|
||||||
mrlib/switchable-button
|
mrlib/switchable-button
|
||||||
scribble/srcdoc)
|
scribble/srcdoc)
|
||||||
|
|
||||||
(require (for-syntax scheme/base))
|
(require (for-syntax racket/base))
|
||||||
|
|
||||||
(require/doc drracket/private/ts ;; probably this also has to be an absolute require
|
(require/doc drracket/private/ts ;; probably this also has to be an absolute require
|
||||||
scheme/base scribble/manual)
|
racket/base scribble/manual)
|
||||||
|
|
||||||
(require/doc (for-label errortrace/errortrace-key
|
(require/doc (for-label errortrace/errortrace-key
|
||||||
scheme/pretty
|
racket/pretty
|
||||||
mzlib/pconvert))
|
mzlib/pconvert))
|
||||||
|
|
||||||
(define-values/invoke-unit/infer drracket@)
|
(define-values/invoke-unit/infer drracket@)
|
||||||
|
@ -310,7 +310,7 @@ all of the names in the tools library, for use defining keybindings
|
||||||
|
|
||||||
The @racket[language-settings] argument is the current
|
The @racket[language-settings] argument is the current
|
||||||
language and its settings. See
|
language and its settings. See
|
||||||
@racket[drracket:language-configuration:make-language-settings]
|
@racket[drracket:language-configuration:language-settings]
|
||||||
for details on that structure.
|
for details on that structure.
|
||||||
|
|
||||||
If the program is associated with a DrRacket
|
If the program is associated with a DrRacket
|
||||||
|
@ -1023,7 +1023,7 @@ all of the names in the tools library, for use defining keybindings
|
||||||
@racket[preferences:set].})
|
@racket[preferences:set].})
|
||||||
|
|
||||||
(proc-doc/names
|
(proc-doc/names
|
||||||
drracket:language-configuration:make-language-settings
|
drracket:language-configuration:language-settings
|
||||||
((or/c (is-a?/c drracket:language:language<%>) drracket:language:object/c)
|
((or/c (is-a?/c drracket:language:language<%>) drracket:language:object/c)
|
||||||
any/c
|
any/c
|
||||||
. -> .
|
. -> .
|
||||||
|
@ -1042,6 +1042,17 @@ all of the names in the tools library, for use defining keybindings
|
||||||
@racket[drracket:language-configuration:language-settings-settings], and a predicate,
|
@racket[drracket:language-configuration:language-settings-settings], and a predicate,
|
||||||
@racket[drracket:language-configuration:language-settings?]})
|
@racket[drracket:language-configuration:language-settings?]})
|
||||||
|
|
||||||
|
#;
|
||||||
|
(proc-doc/names
|
||||||
|
drracket:language-configuration:make-language-settings
|
||||||
|
((or/c (is-a?/c drracket:language:language<%>) drracket:language:object/c)
|
||||||
|
any/c
|
||||||
|
. -> .
|
||||||
|
drracket:language-configuration:language-settings?)
|
||||||
|
(language settings)
|
||||||
|
|
||||||
|
@{This is an alias for @racket[drrracket:language-configuration:language-settings]})
|
||||||
|
|
||||||
(proc-doc/names
|
(proc-doc/names
|
||||||
drracket:language-configuration:language-settings-settings
|
drracket:language-configuration:language-settings-settings
|
||||||
(-> drracket:language-configuration:language-settings?
|
(-> drracket:language-configuration:language-settings?
|
||||||
|
@ -1529,7 +1540,7 @@ all of the names in the tools library, for use defining keybindings
|
||||||
otherwise.})
|
otherwise.})
|
||||||
|
|
||||||
(proc-doc/names
|
(proc-doc/names
|
||||||
drracket:language:make-text/pos
|
drracket:language:text/pos
|
||||||
((is-a?/c text%) number? number?
|
((is-a?/c text%) number? number?
|
||||||
. -> .
|
. -> .
|
||||||
drracket:language:text/pos?)
|
drracket:language:text/pos?)
|
||||||
|
@ -1537,6 +1548,15 @@ all of the names in the tools library, for use defining keybindings
|
||||||
|
|
||||||
@{Constructs a text/pos.})
|
@{Constructs a text/pos.})
|
||||||
|
|
||||||
|
(proc-doc/names
|
||||||
|
drracket:language:make-text/pos
|
||||||
|
((is-a?/c text%) number? number?
|
||||||
|
. -> .
|
||||||
|
drracket:language:text/pos?)
|
||||||
|
(text start end)
|
||||||
|
|
||||||
|
@{An alias for @racket[drracket:language:text/pos]})
|
||||||
|
|
||||||
(proc-doc/names
|
(proc-doc/names
|
||||||
drracket:language:simple-settings-case-sensitive
|
drracket:language:simple-settings-case-sensitive
|
||||||
(drracket:language:simple-settings? . -> . boolean?)
|
(drracket:language:simple-settings? . -> . boolean?)
|
||||||
|
@ -1600,7 +1620,7 @@ all of the names in the tools library, for use defining keybindings
|
||||||
@{Determines if @racket[val] is a simple-settings.})
|
@{Determines if @racket[val] is a simple-settings.})
|
||||||
|
|
||||||
(proc-doc/names
|
(proc-doc/names
|
||||||
drracket:language:make-simple-settings
|
drracket:language:simple-settings
|
||||||
(-> boolean?
|
(-> boolean?
|
||||||
(symbols 'constructor 'quasiquote 'write 'trad-write 'print)
|
(symbols 'constructor 'quasiquote 'write 'trad-write 'print)
|
||||||
(symbols 'mixed-fraction 'mixed-fraction-e 'repeating-decimal 'repeating-decimal-e)
|
(symbols 'mixed-fraction 'mixed-fraction-e 'repeating-decimal 'repeating-decimal-e)
|
||||||
|
@ -1617,6 +1637,24 @@ all of the names in the tools library, for use defining keybindings
|
||||||
|
|
||||||
@{Constructs a simple settings.})
|
@{Constructs a simple settings.})
|
||||||
|
|
||||||
|
(proc-doc/names
|
||||||
|
drracket:language:make-simple-settings
|
||||||
|
(-> boolean?
|
||||||
|
(symbols 'constructor 'quasiquote 'write 'trad-write 'print)
|
||||||
|
(symbols 'mixed-fraction 'mixed-fraction-e 'repeating-decimal 'repeating-decimal-e)
|
||||||
|
boolean?
|
||||||
|
boolean?
|
||||||
|
(symbols 'none 'debug 'debug/profile 'test-coverage)
|
||||||
|
drracket:language:simple-settings?)
|
||||||
|
(case-sensitive
|
||||||
|
printing-style
|
||||||
|
fraction-style
|
||||||
|
show-sharing
|
||||||
|
insert-newlines
|
||||||
|
annotations)
|
||||||
|
|
||||||
|
@{An alias for @racket[drracket:language:simple-settings].})
|
||||||
|
|
||||||
(proc-doc/names
|
(proc-doc/names
|
||||||
drracket:language:simple-settings->vector
|
drracket:language:simple-settings->vector
|
||||||
(drracket:language:simple-settings? . -> . vector?)
|
(drracket:language:simple-settings? . -> . vector?)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user