suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
9411eb44c4
gui/gui-lib/mrlib
History
Robby Findler 021f9a6a0a delay the creation of the information in the info text 
this has the advantage of that the information is inserted when the
state of the text is set up so that font sizing works

it also means that if there is a syntax object with a syntax
object on its properties with another one like that etc etc etc
they will only be rendered when they are made visible which
theoretically could be a performance improvement for some people
2016-02-02 09:36:15 -06:00
..
hierlist Remove extra directories. 2014-12-02 02:33:07 -05:00
private Remove extra directories. 2014-12-02 02:33:07 -05:00
aligned-pasteboard.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
bitmap-label.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
cache-image-snip.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
click-forwarding-editor.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
close-icon.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
gif.rkt Fix write-gif function in mrlib 2015-02-25 17:03:35 -05:00
graph.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
hierlist.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
image-core-wxme.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
image-core.rkt add pulled-point to 2htdp/image's core 2015-02-01 14:39:37 -06:00
include-bitmap.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
info.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
interactive-value-port.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
matrix-snip.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
name-message.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
path-dialog.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
plot.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
snip-canvas.rkt Add snip canvases to mrlib, from unstable/gui/snip. 2015-09-11 17:19:40 -05:00
switchable-button.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
syntax-browser.rkt delay the creation of the information in the info text 2016-02-02 09:36:15 -06:00
tab-choice.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
terminal.rkt add the close-when-hidden? argument to in-terminal 2015-06-08 22:36:28 -05:00
text-string-style-desc.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00