#lang setup/infotab (define name "User Script Plugin") (define drracket-names '("Script Plugin")) (define drracket-tools '("tool.rkt")) (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.0") (define release-notes '((ul (li "#:editor now points toward the focused editor (instead of previously only the definitions), either interactions or definitions.") (li "Added #:definitions to access specifically the definitions editor.") (li "Added examples.") )))