7.5
2 Logos
(plt-logo | [ | #:height height | | | | | | | #:backing-scale backing-scale]) | | → | | (is-a?/c bitmap%) |
|
height : (and/c rational? (>=/c 0)) = 256 |
| backing-scale | | : | | (and/c rational? (>/c 0.0)) | | | | = | | (default-icon-backing-scale) |
|
Returns the PLT logo, rendered in tinted glass and azure metal by the ray tracer that renders icons.
The default height is the size used for DrRacket splash screen.
(planet-logo | [ | #:height height | | | | | | | #:backing-scale backing-scale]) | | → | | (is-a?/c bitmap%) |
|
height : (and/c rational? (>=/c 0)) = 96 |
| backing-scale | | : | | (and/c rational? (>/c 0.0)) | | | | = | | (default-icon-backing-scale) |
|
Returns an unofficial PLaneT logo. This is used as the PLaneT icon when DrRacket downloads PLaneT packages.
(stepper-logo | [ | #:height height | | | | #:backing-scale backing-scale]) | |
|
→ (is-a?/c bitmap%) |
height : (and/c rational? (>=/c 0)) = 96 |
| backing-scale | | : | | (and/c rational? (>/c 0.0)) | | | | = | | (default-icon-backing-scale) |
|
Returns the algebraic stepper logo.
|
→ (is-a?/c bitmap%) |
height : (and/c rational? (>=/c 0)) = 96 |
| backing-scale | | : | | (and/c rational? (>/c 0.0)) | | | | = | | (default-icon-backing-scale) |
|
Returns the macro stepper logo.