From d47712f2f5bc02e9710e599b30129451fd0710ee Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 17 Jan 2006 20:35:57 +0000 Subject: [PATCH] Java example boxes: omit cue text from save-and-loaded or cut-and-paste boxes svn: r1850 original commit: f81cf986b52576551aa934feff8eb584dc908857 --- collects/embedded-gui/doc.txt | 4 ++++ collects/embedded-gui/private/cue-text.ss | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/embedded-gui/doc.txt b/collects/embedded-gui/doc.txt index 6b76c337..f696e62c 100644 --- a/collects/embedded-gui/doc.txt +++ b/collects/embedded-gui/doc.txt @@ -324,6 +324,10 @@ _cue-text%_ is (cue-text-mixin text%) color : string = "gray" behavior : (listof (symbols 'on-focus 'on-char)) = '(on-focus) +> (send a-cue-text clear-cue-text) + +Clears the cue text, if it's still present. + ============================================================ The following functions are useful for working with snips diff --git a/collects/embedded-gui/private/cue-text.ss b/collects/embedded-gui/private/cue-text.ss index 14fb8d94..7712f632 100644 --- a/collects/embedded-gui/private/cue-text.ss +++ b/collects/embedded-gui/private/cue-text.ss @@ -28,7 +28,7 @@ #;(-> void) ;; Clears the cue-text if it's still there. - (define (clear-cue-text) + (define/public (clear-cue-text) (when first-focus? (set! first-focus? false) (erase)