From 56e01595c4eeffde9d09897cb44db0fb5ddc5e85 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Thu, 25 Jan 2007 19:20:44 +0000 Subject: [PATCH] Macro stepper: added support for extra nav tools (zoom, jump) but disabled svn: r5461 original commit: f9dfebefa311ee1881255f21ae4ff8967f5d958c --- collects/macro-debugger/view/cursor.ss | 6 +++++- collects/macro-debugger/view/interfaces.ss | 1 + collects/macro-debugger/view/prefs.ss | 2 ++ 3 files changed, 8 insertions(+), 1 deletion(-) diff --git a/collects/macro-debugger/view/cursor.ss b/collects/macro-debugger/view/cursor.ss index 62d0872..0aadc87 100644 --- 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 index dc6890e..3d7346d 100644 --- 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 index 5c7b070..3384145 100644 --- 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?) )) )