2004-12-23 13:58:39 +01:00
|
|
|
#ifdef HAVE_CONFIG_H
|
|
|
|
# include <config.h>
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#include <gtk/gtk.h>
|
|
|
|
|
|
|
|
#include "options_callbacks.h"
|
|
|
|
#include "options_interface.h"
|
|
|
|
#include "support.h"
|
2005-03-23 20:03:26 +01:00
|
|
|
#include "variables.h"
|
|
|
|
#include "window.h"
|
2004-12-23 13:58:39 +01:00
|
|
|
|
|
|
|
void
|
2005-03-23 20:03:26 +01:00
|
|
|
on_button_options_ok_clicked (GtkButton *button,
|
2004-12-23 13:58:39 +01:00
|
|
|
gpointer user_data)
|
|
|
|
{
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void
|
2005-03-23 20:03:26 +01:00
|
|
|
on_button_options_cancel_clicked (GtkButton *button,
|
2004-12-23 13:58:39 +01:00
|
|
|
gpointer user_data)
|
|
|
|
{
|
2005-03-23 20:03:26 +01:00
|
|
|
window_destroy(&window.options, TRUE);
|
2004-12-23 13:58:39 +01:00
|
|
|
}
|
|
|
|
|