history.h

   1 #ifndef _HISTORY_H
   2 #define _HISTORY_H
   3
   4 #include "types.h"
   5
   6 focus_history_t *make_focus_history(void);
   7 node_list_t *make_node_list(void);
   8 void history_add(focus_history_t *, node_t *);
   9 void history_remove(focus_history_t *, node_t *);
  10 void empty_history(focus_history_t *);
  11 node_t *history_get(focus_history_t *, int);
  12 node_t *history_last(focus_history_t *, node_t *, client_select_t);
  13 int history_rank(focus_history_t *, node_t *);
  14
  15 #endif