New macro stepper option: show one term per step rather than term->term
svn: r5308 original commit: c5b19a52a94099c8ee0429d8d514218673035fa1
This commit is contained in:
parent
e1f644c03f
commit
8874fe41a0
|
@ -46,10 +46,18 @@
|
||||||
(make-cursor null items))
|
(make-cursor null items))
|
||||||
|
|
||||||
(define (cursor:current c)
|
(define (cursor:current c)
|
||||||
|
(cursor:next c))
|
||||||
|
|
||||||
|
(define (cursor:next c)
|
||||||
(let ([suffix (cursor-suffix c)])
|
(let ([suffix (cursor-suffix c)])
|
||||||
(if (pair? suffix)
|
(if (pair? suffix)
|
||||||
(car suffix)
|
(car suffix)
|
||||||
#f)))
|
#f)))
|
||||||
|
(define (cursor:prev c)
|
||||||
|
(let ([prefix (cursor-prefix c)])
|
||||||
|
(if (pair? prefix)
|
||||||
|
(car prefix)
|
||||||
|
#f)))
|
||||||
|
|
||||||
(define (cursor:move-to-start c)
|
(define (cursor:move-to-start c)
|
||||||
(when (cursor:can-move-previous? c)
|
(when (cursor:can-move-previous? c)
|
||||||
|
|
|
@ -28,6 +28,7 @@
|
||||||
pref:show-rename-steps?
|
pref:show-rename-steps?
|
||||||
pref:highlight-foci?
|
pref:highlight-foci?
|
||||||
pref:suppress-warnings?
|
pref:suppress-warnings?
|
||||||
|
pref:one-by-one?
|
||||||
))
|
))
|
||||||
|
|
||||||
;; macro-stepper-config%
|
;; macro-stepper-config%
|
||||||
|
|
|
@ -30,6 +30,7 @@
|
||||||
(preferences:set-default 'MacroStepper:HighlightFoci? #t boolean?)
|
(preferences:set-default 'MacroStepper:HighlightFoci? #t boolean?)
|
||||||
(preferences:set-default 'MacroStepper:ShowRenameSteps? #f boolean?)
|
(preferences:set-default 'MacroStepper:ShowRenameSteps? #f boolean?)
|
||||||
(preferences:set-default 'MacroStepper:SuppressWarnings? #f boolean?)
|
(preferences:set-default 'MacroStepper:SuppressWarnings? #f boolean?)
|
||||||
|
(preferences:set-default 'MacroStepper:OneByOne? #f boolean?)
|
||||||
|
|
||||||
(pref:get/set pref:width MacroStepper:Frame:Width)
|
(pref:get/set pref:width MacroStepper:Frame:Width)
|
||||||
(pref:get/set pref:height MacroStepper:Frame:Height)
|
(pref:get/set pref:height MacroStepper:Frame:Height)
|
||||||
|
@ -43,6 +44,7 @@
|
||||||
(pref:get/set pref:highlight-foci? MacroStepper:HighlightFoci?)
|
(pref:get/set pref:highlight-foci? MacroStepper:HighlightFoci?)
|
||||||
(pref:get/set pref:show-rename-steps? MacroStepper:ShowRenameSteps?)
|
(pref:get/set pref:show-rename-steps? MacroStepper:ShowRenameSteps?)
|
||||||
(pref:get/set pref:suppress-warnings? MacroStepper:SuppressWarnings?)
|
(pref:get/set pref:suppress-warnings? MacroStepper:SuppressWarnings?)
|
||||||
|
(pref:get/set pref:one-by-one? MacroStepper:OneByOne?)
|
||||||
|
|
||||||
))
|
))
|
||||||
)
|
)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user