src/GUI/title_header.h

   1 #ifndef __TITLE_HEADER_H__
   2 #define __TITLE_HEADER_H__
   3
   4 /**
   5  * Create the header.
   6  * (this could not be done from GtkBuilder/GLade because it are
   7  * custom widgets (maybe GtkBuilder can? Glade failed!)
   8  */
   9 void playlist3_new_header(void);
  10
  11 /**
  12  * Update the header fields.
  13  */
  14 void playlist3_update_header(void);
  15
  16 #endif