void set_mibtree_style(int exp_style,int line_style); GtkCTreeNode *locate_treenode_by_oid(oid poid[],size_t size); void populate_mib_tree(struct tree *child,GtkCTreeNode *tree); void on_tree_select(GtkCTree *item,GList *node, gint column, gpointer junk); void create_mibtree_tab(void); void retree(struct tree *mibtree);