gui.h File Reference

---

Detailed Description

Remote shell interface.

Author:

Christian Biere

Date:

2005

Go to the source code of this file.

Defines
#define	settings_gui_save_if_dirty()
#define	main_gui_early_init(argc, argv)
#define	main_gui_init()
#define	main_gui_timer(x)
#define	main_gui_update_coords()
#define	main_gui_shutdown()
#define	main_gui_shutdown_tick(remain)
#define	settings_gui_shutdown()
#define	drop_init()
#define	drop_close()
#define	search_gui_store_searches()
#define	icon_timer()
Functions
void	main_gui_run (void)

---

Define Documentation

#define drop_close (  void   )

#define drop_init (  void   )

#define icon_timer (  void   )

#define main_gui_early_init (  argc, argv   )

#define main_gui_init (  void   )

#define main_gui_shutdown (  void   )

#define main_gui_shutdown_tick (  remain   )

#define main_gui_timer (  x   )

#define main_gui_update_coords (  void   )

#define search_gui_store_searches (  void   )

#define settings_gui_save_if_dirty (  void   )

#define settings_gui_shutdown (  void   )

---

Function Documentation

void main_gui_run (  void   )  [inline, static]

---