-USING: help.syntax help.markup kernel math classes classes.tuple\r
-calendar models ;\r
-IN: models.delay\r
-\r
-HELP: delay\r
-{ $class-description "Delay models have the same value as their underlying model, however the value only changes after a timer expires. If the underlying model's value changes again before the timer expires, the timer restarts. Delay models are constructed by " { $link <delay> } "." }\r
-{ $examples\r
- "The following code displays a sliders and a label which is updated half a second after the slider stops changing:"\r
- { $code\r
- "USING: models models.delay models.arrow models.range"\r
- "ui ui.gadgets ui.gadgets.labels ui.gadgets.sliders"\r
- "ui.gadgets.panes math.parser calendar ;"\r
- ""\r
- "<pile>"\r
- "0 10 0 100 1 <range>"\r
- "[ horizontal <slider> add-gadget ]"\r
- "["\r
- " 1/2 seconds <delay>"\r
- " [ unparse ] <arrow>"\r
- " <label-control> add-gadget"\r
- "] bi"\r
- "\"Test\" open-window"\r
- }\r
-} ;\r
-\r
-HELP: <delay>\r
-{ $values { "model" model } { "timeout" duration } { "delay" delay } }\r
-{ $description "Creates a new instance of " { $link delay } ". The timeout must elapse from the time the underlying model last changed to when the delay model value is changed and its connections are notified." }\r
-{ $examples "See the example in the documentation for " { $link delay } "." } ;\r
-\r
-ARTICLE: "models-delay" "Delay models"\r
-"Delay models are used to implement delayed updating of gadgets in response to user input."\r
-{ $subsections\r
- delay\r
- <delay>\r
-} ;\r
-\r
-ABOUT: "models-delay"\r
+USING: help.syntax help.markup kernel math classes classes.tuple
+calendar models ;
+IN: models.delay
+
+HELP: delay
+{ $class-description "Delay models have the same value as their underlying model, however the value only changes after a timer expires. If the underlying model's value changes again before the timer expires, the timer restarts. Delay models are constructed by " { $link <delay> } "." }
+{ $examples
+ "The following code displays a sliders and a label which is updated half a second after the slider stops changing:"
+ { $code
+ "USING: models models.delay models.arrow models.range"
+ "ui ui.gadgets ui.gadgets.labels ui.gadgets.sliders"
+ "ui.gadgets.panes math.parser calendar ;"
+ ""
+ "<pile>"
+ "0 10 0 100 1 <range>"
+ "[ horizontal <slider> add-gadget ]"
+ "["
+ " 1/2 seconds <delay>"
+ " [ unparse ] <arrow>"
+ " <label-control> add-gadget"
+ "] bi"
+ "\"Test\" open-window"
+ }
+} ;
+
+HELP: <delay>
+{ $values { "model" model } { "timeout" duration } { "delay" delay } }
+{ $description "Creates a new instance of " { $link delay } ". The timeout must elapse from the time the underlying model last changed to when the delay model value is changed and its connections are notified." }
+{ $examples "See the example in the documentation for " { $link delay } "." } ;
+
+ARTICLE: "models-delay" "Delay models"
+"Delay models are used to implement delayed updating of gadgets in response to user input."
+{ $subsections
+ delay
+ <delay>
+} ;
+
+ABOUT: "models-delay"