From 89b72f94b9c5cbd19b8a32a043a784250574bfa6 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 12 Aug 2012 15:47:50 -0500 Subject: [PATCH] fix annotations-mixin for new syncheck interface --- collects/drracket/private/syncheck/intf.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/drracket/private/syncheck/intf.rkt b/collects/drracket/private/syncheck/intf.rkt index b36efa68cf..5da73110ad 100644 --- a/collects/drracket/private/syncheck/intf.rkt +++ b/collects/drracket/private/syncheck/intf.rkt @@ -37,7 +37,7 @@ (define/public (syncheck:add-background-color source start end color) (void)) (define/public (syncheck:add-require-open-menu source start end key) (void)) (define/public (syncheck:add-rename-menu id all-ids new-name-intereferes?) (void)) - (define/public (syncheck:add-docs-menu text start-pos end-pos key the-label path tag) (void)) + (define/public (syncheck:add-docs-menu text start-pos end-pos key the-label path definition-tag tag) (void)) (define/public (syncheck:add-arrow start-text start-pos-left start-pos-right end-text end-pos-left end-pos-right actual? level)