30 	SINGLE_VIEW, SPLIT_VIEW, FULL_VIEW  enumerator
37 static gint view_mode = FULL_VIEW;
197 	case FULL_VIEW:  in init_main_window()
783 	view_mode = FULL_VIEW;  in on_full_clicked()
858 		if (view_mode == FULL_VIEW)  in change_sym_value()
881 	if (view_mode == FULL_VIEW)  in toggle_sym_value()
970 		if (ptype == P_MENU && view_mode != FULL_VIEW && col == COL_OPTION) {  in on_treeview2_button_press_event()
1438 		if ((view_mode != FULL_VIEW) && (ptype == P_MENU)  in display_tree()
1447 		if (view_mode == SINGLE_VIEW || view_mode == FULL_VIEW) {  in display_tree()
1452 		    || (view_mode == FULL_VIEW)  in display_tree()
1566 	case FULL_VIEW:  in main()