added 'Scribble' as a prefix to the scribble drscheme buttons
This commit is contained in:
parent
d4c0aa1daf
commit
4587795d40
|
@ -47,12 +47,12 @@
|
||||||
|
|
||||||
(define drscheme-buttons
|
(define drscheme-buttons
|
||||||
(let ([html-button
|
(let ([html-button
|
||||||
(make-render-button "HTML" html.png "--html" #".html"
|
(make-render-button "Scribble HTML" html.png "--html" #".html"
|
||||||
'("++xref-in" "setup/xref" "load-collections-xref"))]
|
'("++xref-in" "setup/xref" "load-collections-xref"))]
|
||||||
[pdf-button
|
[pdf-button
|
||||||
;; only available on OSX currently
|
;; only available on OSX currently
|
||||||
;; when we have a general way of opening pdfs, can use that
|
;; when we have a general way of opening pdfs, can use that
|
||||||
(make-render-button "PDF" pdf.png "--pdf" #".pdf" null)])
|
(make-render-button "Scribble PDF" pdf.png "--pdf" #".pdf" null)])
|
||||||
(case (system-type)
|
(case (system-type)
|
||||||
[(macosx) (list html-button pdf-button)]
|
[(macosx) (list html-button pdf-button)]
|
||||||
[else (list html-button)])))
|
[else (list html-button)])))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user