use Scribble-style indentation in DrRacket (fixes #113)

pull/115/head
Matthew Butterick 8 years ago
parent 72c9e781db
commit 3bd62c82af

@ -82,6 +82,8 @@
[(drracket:toolbar-buttons)
(define my-make-drracket-buttons (dynamic-require 'pollen/private/drracket-buttons 'make-drracket-buttons))
(my-make-drracket-buttons my-command-char)])]
[(drracket:indentation)
(dynamic-require 'scribble/private/indentation 'determine-spaces)]
[else default]))))
(define-syntax-rule (reader-module-begin mode expr-to-ignore ...)

@ -1 +1 @@
1462486594
1464906246

Loading…
Cancel
Save