void create_history();
void update_history();
- int refresh(int reset=0);
+ int refresh(int reset=0, int select_all=0);
// The OK and Use This button submits a path.
// The cancel button has a current path highlighted but possibly different from the
private:
int create_icons();
int extract_extension(char *out, const char *in);
- int create_tables();
+ int create_tables(int select_all);
int delete_tables();
// Called by directory history menu to change directories but leave
// filename untouched.