diff --git a/collects/mred/mred-sig.ss b/collects/mred/mred-sig.ss index 292df443..e77b72c4 100644 --- a/collects/mred/mred-sig.ss +++ b/collects/mred/mred-sig.ss @@ -101,6 +101,7 @@ graphical-read-eval-print-loop group-box-panel% grow-box-spacer-pane% + hide-cursor-until-moved horizontal-pane% horizontal-panel% tab-panel% diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 4b74530c..88cba76c 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -7967,108 +7967,111 @@ [(fn) (wx:file-creator-and-type fn)] [(fn c t) (wx:file-creator-and-type fn c t)])) +(define (hide-cursor-until-moved) (wx:hide-cursor)) + (provide button% - canvas% - check-box% - choice% - dialog% - frame% - gauge% - tab-panel% - group-box-panel% - list-box% - editor-canvas% - message% - pane% - horizontal-pane% - vertical-pane% - grow-box-spacer-pane% - panel% - horizontal-panel% - vertical-panel% - radio-box% - slider% - text-field% - window<%> - area<%> - top-level-window<%> - subarea<%> - subwindow<%> - area-container<%> - area-container-window<%> - canvas<%> - control<%> - list-control<%> - menu-item<%> - separator-menu-item% - selectable-menu-item<%> - labelled-menu-item<%> - menu-item% - checkable-menu-item% - menu-item-container<%> - menu% - menu-bar% - popup-menu% - get-top-level-windows - editor-snip% - editor<%> - text% - pasteboard% - graphical-read-eval-print-loop - message-box - message+check-box - message-box/custom - message+check-box/custom - get-file - get-file-list - put-file - get-directory - get-choices-from-user - get-text-from-user - get-ps-setup-from-user - play-sound - get-display-size - get-display-left-top-inset - get-color-from-user - get-font-from-user - append-editor-operation-menu-items - append-editor-font-menu-items - get-top-level-focus-window - get-top-level-edit-target-window - register-collecting-blit - unregister-collecting-blit - bitmap-dc% - post-script-dc% - printer-dc% - current-text-keymap-initializer - sleep/yield - get-window-text-extent - get-family-builtin-face - send-message-to-window - the-clipboard - the-editor-wordbreak-map - the-brush-list - the-color-database - the-font-name-directory - the-pen-list - the-font-list - the-style-list - timer% - readable-snip<%> - open-input-text-editor - open-input-graphical-file - text-editor-load-handler - application-about-handler - application-preferences-handler - application-quit-handler - application-file-handler - current-eventspace-has-standard-menus? - current-eventspace-has-menu-root? - eventspace-handler-thread - make-namespace-with-mred - file-creator-and-type - current-ps-afm-file-paths - current-ps-cmap-file-paths) + canvas% + check-box% + choice% + dialog% + frame% + gauge% + tab-panel% + group-box-panel% + list-box% + editor-canvas% + message% + pane% + horizontal-pane% + vertical-pane% + grow-box-spacer-pane% + panel% + horizontal-panel% + vertical-panel% + radio-box% + slider% + text-field% + window<%> + area<%> + top-level-window<%> + subarea<%> + subwindow<%> + area-container<%> + area-container-window<%> + canvas<%> + control<%> + list-control<%> + menu-item<%> + separator-menu-item% + selectable-menu-item<%> + labelled-menu-item<%> + menu-item% + checkable-menu-item% + menu-item-container<%> + menu% + menu-bar% + popup-menu% + get-top-level-windows + editor-snip% + editor<%> + text% + pasteboard% + graphical-read-eval-print-loop + message-box + message+check-box + message-box/custom + message+check-box/custom + get-file + get-file-list + put-file + get-directory + get-choices-from-user + get-text-from-user + get-ps-setup-from-user + play-sound + get-display-size + get-display-left-top-inset + get-color-from-user + get-font-from-user + append-editor-operation-menu-items + append-editor-font-menu-items + get-top-level-focus-window + get-top-level-edit-target-window + register-collecting-blit + unregister-collecting-blit + bitmap-dc% + post-script-dc% + printer-dc% + current-text-keymap-initializer + sleep/yield + get-window-text-extent + get-family-builtin-face + send-message-to-window + the-clipboard + the-editor-wordbreak-map + the-brush-list + the-color-database + the-font-name-directory + the-pen-list + the-font-list + the-style-list + timer% + readable-snip<%> + open-input-text-editor + open-input-graphical-file + text-editor-load-handler + application-about-handler + application-preferences-handler + application-quit-handler + application-file-handler + current-eventspace-has-standard-menus? + current-eventspace-has-menu-root? + eventspace-handler-thread + make-namespace-with-mred + file-creator-and-type + current-ps-afm-file-paths + current-ps-cmap-file-paths + hide-cursor-until-moved) ) ;; end of module diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index e9c9474a..441d8f56 100644 --- a/collects/mred/private/kernel.ss +++ b/collects/mred/private/kernel.ss @@ -608,6 +608,7 @@ (define-function display-origin) (define-function display-size) (define-function bell) + (define-function hide-cursor) (define-function end-busy-cursor) (define-function is-busy?) (define-function begin-busy-cursor)