void
edit_interface_rep::draw_selection (renderer ren) {
if (!is_nil (locus_rects)) {
ren->set_color (rgb_color (32, 160, 96));
ren->draw_rectangles (locus_rects);
}
if (made_selection && !is_nil (selection_rects)) {
ren->set_color (table_selection? rgb_color (192, 0, 255): red);
#ifdef QTTEXMACS
ren->draw_selection (selection_rects);
#else
ren->draw_rectangles (selection_rects);
#endif
}
}
void
edit_interface_rep::draw_env (renderer ren) {
if (!full_screen) {
if (!is_nil (env_rects)) {
ren->set_color (rgb_color (0, 85, 85, 24));
ren->draw_rectangles (env_rects);
}
if (!is_nil (foc_rects)) {
ren->set_color (rgb_color (0, 255, 255));
ren->draw_rectangles (foc_rects);
}
if (!is_nil (sem_rects)) {
if (sem_correct) ren->set_color (rgb_color (112, 208, 112));
else ren->set_color (rgb_color (208, 144, 80));
ren->draw_rectangles (sem_rects);
}
}
}