Paint the Menu.
| Function | Description | Links |
|---|---|---|
| get_color() | Choose a colour for a line of the index | |
| menu_pad_string() | Pad a string with spaces for display in the Menu | |
| menu_redraw() | Redraw the parts of the screen that have been flagged to be redrawn | |
| menu_redraw_current() | Redraw the current menu | |
| menu_redraw_full() | Force the redraw of the Menu | |
| menu_redraw_index() | Force the redraw of the index | |
| menu_redraw_motion() | Force the redraw of the list part of the menu | |
| print_enriched_string() | Display a string with embedded colours and graphics |
