commit 56e01595c4eeffde9d09897cb44db0fb5ddc5e85
parent a6da39cc8f2819eb84aac591750f679e182cda31
Author: Ryan Culpepper <ryanc@racket-lang.org>
Date: Thu, 25 Jan 2007 19:20:44 +0000
Macro stepper: added support for extra nav tools (zoom, jump) but disabled
svn: r5461
original commit: f9dfebefa311ee1881255f21ae4ff8967f5d958c
Diffstat:
3 files changed, 8 insertions(+), 1 deletion(-)
diff --git a/collects/macro-debugger/view/cursor.ss b/collects/macro-debugger/view/cursor.ss
@@ -89,6 +89,10 @@
(define (cursor:can-move-previous? c)
(pair? (cursor-prefix c)))
-
+ (define (cursor->list c)
+ (append (reverse (cursor-prefix c))
+ (cursor-suffix->list c)))
+
+ (define (cursor-suffix->list c) (cursor-suffix c))
)
diff --git a/collects/macro-debugger/view/interfaces.ss b/collects/macro-debugger/view/interfaces.ss
@@ -29,6 +29,7 @@
pref:highlight-foci?
pref:suppress-warnings?
pref:one-by-one?
+ pref:extra-navigation?
))
;; macro-stepper-config%
diff --git a/collects/macro-debugger/view/prefs.ss b/collects/macro-debugger/view/prefs.ss
@@ -31,6 +31,7 @@
(preferences:set-default 'MacroStepper:ShowRenameSteps? #f boolean?)
(preferences:set-default 'MacroStepper:SuppressWarnings? #f boolean?)
(preferences:set-default 'MacroStepper:OneByOne? #f boolean?)
+ (preferences:set-default 'MacroStepper:ExtraNavigation? #f boolean?)
(pref:get/set pref:width MacroStepper:Frame:Width)
(pref:get/set pref:height MacroStepper:Frame:Height)
@@ -45,6 +46,7 @@
(pref:get/set pref:show-rename-steps? MacroStepper:ShowRenameSteps?)
(pref:get/set pref:suppress-warnings? MacroStepper:SuppressWarnings?)
(pref:get/set pref:one-by-one? MacroStepper:OneByOne?)
+ (pref:get/set pref:extra-navigation? MacroStepper:ExtraNavigation?)
))
)