tidy up live-updater responder

cvs
Chris Double 2004-08-01 22:23:06 +00:00
parent ccdbccc139
commit f7bda63625
1 changed files with 17 additions and 34 deletions

View File

@ -33,15 +33,10 @@ USE: stack
USE: stdio USE: stdio
USE: namespaces USE: namespaces
USE: streams USE: streams
USE: parser
USE: lists USE: lists
USE: errors
USE: strings USE: strings
USE: logic
USE: kernel USE: kernel
USE: prettyprint
USE: vocabularies USE: vocabularies
USE: combinators
: get-live-updater-js* ( stream -- string ) : get-live-updater-js* ( stream -- string )
#! Read all lines from the stream, creating a string of the result. #! Read all lines from the stream, creating a string of the result.
@ -161,18 +156,6 @@ USE: combinators
write-live-search-tag write-live-search-tag
write-live-search-script ; write-live-search-script ;
: live-search-see-word ( string -- )
#! Given a string that is a factor word, show the
#! source to that word.
<namespace> [
"responder" "inspect" put
<pre> [
"stdio" get <html-stream> [
see
] with-stream
] </pre>
] bind ;
: live-search-apropos-word ( string -- ) : live-search-apropos-word ( string -- )
#! Given a string that is a factor word, show the #! Given a string that is a factor word, show the
#! aporpos of that word. #! aporpos of that word.
@ -196,23 +179,23 @@ USE: combinators
] </script> ] </script>
] </head> ] </head>
<body> [ <body> [
"millis" [ millis write ] "Display Server millis" live-anchor [
<div id= "millis" div> [ [
"The millisecond time from the server will appear here" write "millis" [ millis write ] "Display Server millis" live-anchor
] </div> <div id= "millis" div> [
<br/> "The millisecond time from the server will appear here" write
"Enter a word to see:" paragraph ] </div>
"search" [ live-search-see-word ] live-search ]
<br/> [
<div id= "search" div> [ "Enter a word to apropos:" paragraph
"" write "apropos" [ live-search-apropos-word ] live-search
] </div> ]
"Enter a word to apropos:" paragraph [
"apropos" [ live-search-apropos-word ] live-search <div id= "apropos" div> [
<br/> "" write
<div id= "apropos" div> [ ] </div>
"" write ]
] </div> ] vertical-layout
] </body> ] </body>
] </html> ] </html>
] show ; ] show ;