From caf4d822cefcbab243f1104bceb73bea16ac7cf9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 13 Sep 2003 23:36:38 +0000 Subject: [PATCH] .. original commit: 8b493aab6bdfd47c5f1b93a9f8c97fc62d697962 --- collects/mred/private/seqcontract.ss | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/collects/mred/private/seqcontract.ss b/collects/mred/private/seqcontract.ss index 69827ae8..63ac3d2f 100644 --- a/collects/mred/private/seqcontract.ss +++ b/collects/mred/private/seqcontract.ss @@ -215,6 +215,10 @@ Matthew |# + ;; need to figure out + ;; line-start-position and friends + ;; (line-start-position not valid in readlock) + (define lock-contract-mixin (sequence-contract-mixin (state-machine @@ -233,6 +237,13 @@ Matthew (set-min-height [(width)] unlocked) (set-max-height [(width)] unlocked) (set-tabs [(tabs) (tabs tab-width) (tabs tab-width units?)] unlocked) + (print [() + (interactive?) + (interactive? fit-on-page?) + (interactive? fit-on-page? output-mode) + (interactive? fit-on-page? output-mode parent) + (interactive? fit-on-page? output-mode parent force-ps-page-bbox?)] + unlocked) (get-text [() (x) (x y) (x y z) (x y z p)] unlocked) (get-character [(start)] unlocked) @@ -268,6 +279,13 @@ Matthew (set-min-height [(width)] write-lock) (set-max-height [(width)] write-lock) (set-tabs [(tabs) (tabs tab-width) (tabs tab-width units?)] write-lock) + (print [() + (interactive?) + (interactive? fit-on-page?) + (interactive? fit-on-page? output-mode) + (interactive? fit-on-page? output-mode parent) + (interactive? fit-on-page? output-mode parent force-ps-page-bbox?)] + write-lock) (get-text [() (x) (x y) (x y z) (x y z p)] write-lock) (get-character [(start)] write-lock)