Create the .pc file for the window manager settings library.
2002-06-02 Seth Nickell <snickell@stanford.edu> * configure.in: Create the .pc file for the window manager settings library.
This commit is contained in:
parent
aa217d6cd7
commit
603155d441
43 changed files with 24871 additions and 21310 deletions
|
@ -41,8 +41,6 @@ static GtkWidget *wm_widget;
|
|||
static GtkWidget *apply_now_button;
|
||||
static GtkWidget *properties_box;
|
||||
|
||||
static void state_changed (void);
|
||||
|
||||
static GtkWidget *wm_menu;
|
||||
static GtkWidget *option_menu;
|
||||
static GList *wm_menu_window_managers;
|
||||
|
@ -63,7 +61,7 @@ wm_selection_changed (GtkOptionMenu *option_menu, gpointer data)
|
|||
if (!in_fill) {
|
||||
if (wm != selected_wm) {
|
||||
selected_wm = wm;
|
||||
state_changed ();
|
||||
wm_set_change_pending (TRUE);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
@ -128,12 +126,6 @@ response_cb (GtkDialog *dialog, gint response_id, gpointer data)
|
|||
}
|
||||
}
|
||||
|
||||
static void
|
||||
state_changed (void)
|
||||
{
|
||||
set_wm_change_pending (TRUE);
|
||||
}
|
||||
|
||||
static void
|
||||
update_gui (void)
|
||||
{
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue