method init_col_display :
col_display:GTree.view_column ->
complete:row_content GTree.column ->
renderer:GTree.cell_renderer_text -> GTree.tree_store -> unit =
fun ~col_display ~complete ~renderer _ ->
let f (store:GTree.model) (iter:Gtk.tree_iter) =
let props =
let ele = store#get ~row: iter ~column: complete in
[`FOREGROUND (self#color_of_element ele)]
in
renderer#set_properties props
in
ignore (col_display#set_cell_data_func renderer f)