#lang setup/infotab (define name "User Script Plugin") (define drracket-tools '(("tool.rkt"))) (define drracket-tool-names '("Script Plugin")) (define drracket-tool-icons '(#f)) (define scribblings '(("scribblings/manual.scrbl"))) (define blurb '("DrRacket plugin to enable easy user scripting for the definition window. Similar to GEdit External Tools.")) (define required-core-version "5.0") (define repositories '("4.x")) (define categories '(devtools)) (define can-be-loaded-with 'none) (define primary-file "tool.rkt") (define version "1.2") (define release-notes '((ul (li "Better error checking in rktd files.") (li "More examples: word-completion, author-date.") )))