Searched refs:Xcas_save_saved_color (Results 1 – 1 of 1) sorted by relevance
275 int Xcas_save_saved_color=FL_VERT_PALE,Xcas_save_unsaved_color=FL_ROUGE_PALE; variable780 fold_button->color(Xcas_save_saved_color); in clear_modified()784 save_button->color(Xcas_save_saved_color); in clear_modified()4130 save_button->color(Xcas_save_saved_color); in History_Fold()4180 fold_button->color(Xcas_save_saved_color); in History_Fold()