104
103
public override void change_zoom_level () {
106
105
tree.set_column_spacing ((int)((double)icon_size * (0.3 - zoom_level * 0.03)));
108
106
tree.set_item_width ((int)((double)icon_size * (2.5 - zoom_level * 0.2)));
110
108
name_renderer.set_property ("wrap-width", tree.get_item_width ());