Icon fixes:
Split images/icons/misc into images/icons/symbol and images/icons/misc Updated tests Fixed Gtk assertion failure in Macro Stepper (came from "about" dialog being created before the stepper window was shown; fixed by creating it on demand) Changed Stepper similarly (though there was no assertion failure) Put a quote in the Macro Stepper logo Portable recycle-icon Removed recycle unicode from the docs (was causing PDF build to fail) Internal API fixes Please merge into release original commit: ea68677d2f4ece1d0ad1df6447fb27f90e98ba3e
This commit is contained in:
parent
460774c696
commit
fccd1795d1
|
@ -42,6 +42,19 @@
|
||||||
(define small-logo (compiled-bitmap (macro-stepper-logo 32)))
|
(define small-logo (compiled-bitmap (macro-stepper-logo 32)))
|
||||||
(define large-logo (compiled-bitmap (macro-stepper-logo)))
|
(define large-logo (compiled-bitmap (macro-stepper-logo)))
|
||||||
|
|
||||||
|
(define (show-about-dialog parent)
|
||||||
|
(define dlg
|
||||||
|
(new logo-about-dialog%
|
||||||
|
(label "About the Macro Stepper")
|
||||||
|
(parent parent)
|
||||||
|
(bitmap large-logo)
|
||||||
|
(messages '("The Macro Stepper is formalized and proved correct in\n"
|
||||||
|
"\n"
|
||||||
|
" Ryan Culpepper and Matthias Felleisen\n"
|
||||||
|
" Debugging Hygienic Macros\n"
|
||||||
|
" Science of Computer Programming, July 2010\n"))))
|
||||||
|
(send dlg show #t))
|
||||||
|
|
||||||
;; Macro Stepper
|
;; Macro Stepper
|
||||||
|
|
||||||
;; macro-stepper-widget%
|
;; macro-stepper-widget%
|
||||||
|
@ -159,23 +172,12 @@
|
||||||
(alignment '(left center))
|
(alignment '(left center))
|
||||||
(style '(deleted))))
|
(style '(deleted))))
|
||||||
|
|
||||||
(define about-dialog
|
|
||||||
(new logo-about-dialog%
|
|
||||||
(label "About the Macro Stepper")
|
|
||||||
(parent frame)
|
|
||||||
(bitmap large-logo)
|
|
||||||
(messages '("The Macro Stepper is formalized and proved correct in\n"
|
|
||||||
"\n"
|
|
||||||
" Ryan Culpepper and Matthias Felleisen\n"
|
|
||||||
" Debugging Hygienic Macros\n"
|
|
||||||
" Science of Computer Programming, July 2010\n"))))
|
|
||||||
|
|
||||||
(define logo-canvas
|
(define logo-canvas
|
||||||
(new (class bitmap-canvas%
|
(new (class bitmap-canvas%
|
||||||
(super-new (parent top-panel) (bitmap small-logo))
|
(super-new (parent top-panel) (bitmap small-logo))
|
||||||
(define/override (on-event evt)
|
(define/override (on-event evt)
|
||||||
(when (eq? (send evt get-event-type) 'left-up)
|
(when (eq? (send evt get-event-type) 'left-up)
|
||||||
(send about-dialog show #t))))))
|
(show-about-dialog frame))))))
|
||||||
|
|
||||||
(define/i sbview sb:syntax-browser<%>
|
(define/i sbview sb:syntax-browser<%>
|
||||||
(new stepper-syntax-widget%
|
(new stepper-syntax-widget%
|
||||||
|
|
Loading…
Reference in New Issue
Block a user