diff --git a/devel/scheme/gui/scheme-gui-intro.en.tm b/devel/scheme/gui/scheme-gui-intro.en.tm index c0302c7..513aba5 100644 --- a/devel/scheme/gui/scheme-gui-intro.en.tm +++ b/devel/scheme/gui/scheme-gui-intro.en.tm @@ -1,4 +1,4 @@ - + @@ -121,6 +121,35 @@ predefined glue widgets described in "". + Text attributes may be changed for widgets and many others by + enclosing them inside what we'll name . These attributes are , , , + , and , and respectively: reduce the + size of the widget, choose a , set the color to + , deactivate the widget (meaning it is rendered, but + greyed out and inactive), center it and choose a bold face. Here is an + example: + + <\session|scheme|default> + <\unfolded-io|Scheme] > + (tm-widget (example3) + + \ \ (hlist\ + + \ \ \ \ (bold (text "Hello")) + + \ \ \ \ \\\ + + \ \ \ \ (inert (explicit-buttons ("world" (display "!\\n")))))) + <|unfolded-io> + \; + + + <\input|Scheme] > + (top-window example3 "Some text") + + + team.>