void quick_cmd_no_menu (void) { if (get_display_type (0) == view_quick) set_display_type (0, view_listing); else if (get_display_type (1) == view_quick) set_display_type (1, view_listing); else set_display_type (current_panel == left_panel ? 1 : 0, view_quick); }
void quick_view_cmd (void) { if (PANEL (get_panel_widget (MENU_PANEL_IDX)) == current_panel) change_panel (); set_display_type (MENU_PANEL_IDX, view_quick); }
static void switch_to_listing (int panel_index) { if (get_display_type (panel_index) != view_listing) set_display_type (panel_index, view_listing); else { WPanel *p; p = PANEL (get_panel_widget (panel_index)); if (p->is_panelized) { p->is_panelized = FALSE; panel_reload (p); } } }
void info_cmd (void) { set_display_type (MENU_PANEL_IDX, view_info); }
void panel_tree_cmd (void) { set_display_type (MENU_PANEL_IDX, view_tree); }
static void switch_to_listing (int panel_index) { if (get_display_type (panel_index) != view_listing) set_display_type (panel_index, view_listing); }