diff --git a/ChangeLog b/ChangeLog index 3a283928c..dad9887c7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2002-06-08 Havoc Pennington + + * src/keybindings.c (meta_window_ungrab_keys): set keys_grabbed to + FALSE, patch from Jayaraj for #81857 + 2002-06-08 Havoc Pennington * src/xprops.c (meta_prop_get_utf8_string): don't die on bad atom @@ -15,7 +20,7 @@ atom * src/main.c (main): add --replace option to replace existing - window manager. + window manager. * src/screen.c: implement holding manager selection.