From ea94e6ae1d77d7e22155e78ace634acff91a7a48 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 13 Feb 2001 22:07:07 +0000 Subject: [PATCH] . original commit: 8e98d4273663a0ca7c005ae170b7048da5c723f7 --- collects/hierlist/hierlist-unit.ss | 2 +- collects/hierlist/hierlist.ss | 2 +- collects/mred/mred-sig.ss | 169 ++++++++++++++++++++++++++ collects/mred/{ => private}/kernel.ss | 0 4 files changed, 171 insertions(+), 2 deletions(-) create mode 100644 collects/mred/mred-sig.ss rename collects/mred/{ => private}/kernel.ss (100%) diff --git a/collects/hierlist/hierlist-unit.ss b/collects/hierlist/hierlist-unit.ss index 65d3dc3a..da7299c6 100644 --- a/collects/hierlist/hierlist-unit.ss +++ b/collects/hierlist/hierlist-unit.ss @@ -2,7 +2,7 @@ (module hierlist-unit mzscheme (import (lib "unitsig.ss") (lib "class.ss") - (lib "sig.ss" "mred") + (lib "mred-sig.ss" "mred") "hierlist-sig.ss") (import (lib "list.ss")) diff --git a/collects/hierlist/hierlist.ss b/collects/hierlist/hierlist.ss index 15008d8c..81aa2392 100644 --- a/collects/hierlist/hierlist.ss +++ b/collects/hierlist/hierlist.ss @@ -1,7 +1,7 @@ (module hierlist mzscheme (import (lib "unitsig.ss") - (lib "sig.ss" "mred") + (lib "mred-sig.ss" "mred") (lib "mred.ss" "mred")) (import "hierlist-sig.ss" diff --git a/collects/mred/mred-sig.ss b/collects/mred/mred-sig.ss new file mode 100644 index 00000000..126685a1 --- /dev/null +++ b/collects/mred/mred-sig.ss @@ -0,0 +1,169 @@ + +(module mred-sig mzscheme + (import (lib "unitsig.ss")) + + (export mred^) + (define-signature + mred^ + (add-color<%> + add-editor-keymap-functions + add-pasteboard-keymap-functions + add-text-keymap-functions + append-editor-font-menu-items + append-editor-operation-menu-items + area-container-window<%> + area-container<%> + area<%> + begin-busy-cursor + bell + bitmap% + bitmap-dc% + brush% + brush-list% + button% + canvas% + canvas<%> + check-box% + check-for-break + checkable-menu-item% + choice% + clipboard-client% + clipboard<%> + color% + color-database<%> + control-event% + control<%> + current-eventspace + current-ps-setup + current-text-keymap-initializer + cursor% + dc<%> + dialog% + editor-admin% + editor-canvas% + editor-data% + editor-data-class% + editor-data-class-list<%> + editor-set-x-selection-mode + editor-snip% + editor-snip-editor-admin<%> + editor-stream-in% + editor-stream-in-base% + editor-stream-in-string-base% + editor-stream-out% + editor-stream-out-base% + editor-stream-out-string-base% + editor-wordbreak-map% + editor<%> + end-busy-cursor + event% + event-dispatch-handler + eventspace-shutdown? + eventspace? + find-graphical-system-path + flush-display + font% + font-list% + font-name-directory<%> + frame% + gauge% + get-choices-from-user + get-color-from-user + get-display-depth + get-display-size + get-face-list + get-family-builtin-face + get-file + get-file-list + get-font-from-user + get-panel-background + get-ps-setup-from-user + get-resource + get-text-from-user + get-the-editor-data-class-list + get-the-snip-class-list + get-top-level-edit-target-window + get-top-level-focus-window + get-top-level-windows + get-window-text-extent + graphical-read-eval-print-loop + grow-box-spacer-pane% + horizontal-pane% + horizontal-panel% + image-snip% + is-busy? + is-color-display? + key-event% + keymap% + label->plain-label + labelled-menu-item<%> + list-box% + list-control<%> + make-eventspace + menu% + menu-bar% + menu-item% + menu-item-container<%> + menu-item<%> + message% + message-box + mouse-event% + ;; mred@ + mult-color<%> + pane% + panel% + pasteboard% + pen% + pen-list% + play-sound + point% + popup-menu% + post-script-dc% + printer-dc% + ps-setup% + put-file + queue-callback + radio-box% + read-editor-global-footer + read-editor-global-header + region% + register-collecting-blit + scroll-event% + selectable-menu-item<%> + send-message-to-window + separator-menu-item% + sleep/yield + slider% + snip% + snip-admin% + snip-class% + snip-class-list<%> + special-control-key + string-snip% + style-delta% + style-list% + style<%> + subarea<%> + subwindow<%> + tab-snip% + text% + text-field% + the-brush-list + the-clipboard + the-color-database + the-editor-wordbreak-map + the-font-list + the-font-name-directory + the-pen-list + the-style-list + timer% + top-level-window<%> + unregister-collecting-blit + vertical-pane% + vertical-panel% + window<%> + write-editor-global-footer + write-editor-global-header + write-resource + yield))) + diff --git a/collects/mred/kernel.ss b/collects/mred/private/kernel.ss similarity index 100% rename from collects/mred/kernel.ss rename to collects/mred/private/kernel.ss