From 5973009ed131ff4af279a51f84f560a4d04174dc Mon Sep 17 00:00:00 2001 From: Chris Double Date: Mon, 2 Aug 2004 21:33:58 +0000 Subject: [PATCH] label browser column headings --- contrib/cont-responder/browser.factor | 106 ++++++++++++++++---------- 1 file changed, 67 insertions(+), 39 deletions(-) diff --git a/contrib/cont-responder/browser.factor b/contrib/cont-responder/browser.factor index 7f748fbcd1..2a8e80f95c 100644 --- a/contrib/cont-responder/browser.factor +++ b/contrib/cont-responder/browser.factor @@ -55,54 +55,82 @@ USE: errors : write-vocab-list ( -- ) #! Write out the HTML for the list of vocabularies - ; + [ + [ ] + [ + + ] + ]
[ "Vocabularies" write ]
[ + + ]
; : write-word-list ( vocab -- ) #! Write out the HTML for the list of words in a vocabulary. - ; + [ + [ ] + [ + + ] + ]
[ "Words" write ]
[ + + ]
; : write-editable-word-source ( vocab word -- ) #! Write the source in a manner allowing it to be edited. -
- "Accept" button ; + [ + [ ] + [ + + ] + ]
[ "Source" write ]
[ +
+ "Accept" button + ]
; : write-word-source ( vocab word -- ) #! Write the source for the given word from the vocab as HTML. - [ - "responder" "inspect" put - "allow-edit?" get [ "Edit" [ "edit-state" t put ] quot-href
] when - "edit-state" get [ - write-editable-word-source - ] [ - [ - >r words r> swap [ over swap dup word-name rot = [ see ] [ drop ] ifte ] each drop - ] with-simple-html-output - ] ifte - ] bind drop ; + [ + [ ] + [ + + ] + ]
[ "Source" write ]
[ + [ + "responder" "inspect" put + "allow-edit?" get [ "Edit" [ "edit-state" t put ] quot-href
] when + "edit-state" get [ + write-editable-word-source + ] [ + [ + >r words r> swap [ over swap dup word-name rot = [ see ] [ drop ] ifte ] each drop + ] with-simple-html-output + ] ifte + ] bind drop + ]
; : get-vm-runtime ( -- java.lang.Runtime ) f "java.lang.Runtime" "getRuntime" jinvoke-static ;