sets multiple output colors.
set_colored is a shortcut for certain set_color calls. It allows the user to display a region set in different colors. NumberOfColors defines the number of colors that are used. Valid values for NumberOfColors can be queried with query_colored. Furthermore, the list of available colors can be set with the procedure set_system(::'graphic_colors',...:). That must be done before opening the first output window.
NumberOfColors (input_control) |
integer -> integer |
number of output colors. | |
Default value: 12 |
set_colored(::Num:): if(::Num = 3) > set_color(::[red,green,blue]:) | if(::Num = 6) > set_color(::[red,green,blue,cyan,magenta,yellow:]).
set_colored returns TRUE, if NumberOfColors is correct and a window is active. Otherwise an exception is raised.
query_colored, set_color, disp_region