mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-28 09:58:23 +08:00
@@ -181,7 +181,7 @@ let set_bg_color = fun renderer (model:GTree.model) iter ->
|
||||
renderer#set_properties [`CELL_BACKGROUND bg]
|
||||
|
||||
let tree_view = fun format_attribs ?(edit=true) (model:GTree.tree_store) window ->
|
||||
let view = GTree.view ~model ~reorderable:edit ~packing:window#add () in
|
||||
let view = GTree.view ~model ~enable_search:edit ~reorderable:edit ~packing:window#add () in
|
||||
let r = GTree.cell_renderer_text [] in
|
||||
let col = GTree.view_column ~title:"Tag" () ~renderer:(r, ["text",tag_col]) in
|
||||
col#set_cell_data_func r (set_bg_color r);
|
||||
|
||||
Reference in New Issue
Block a user