Next: Scrollbars, Previous: Toolbar, Up: Top [Contents][Index]
A gutter is a rectangle displayed along one edge of a frame. It can contain arbitrary text or graphics.
• Gutter Intro: | An introduction. | |
• Creating Gutter: | How to create a gutter. | |
• Gutter Descriptor Format: | Accessing and modifying a gutter’s properties. | |
• Specifying a Gutter: | Setting a gutter’s contents. | |
• Other Gutter Variables: | Controlling the size of gutters. | |
• Common Gutter Widgets: | Things to put in gutters. |