mirror of
https://github.com/brl/mutter.git
synced 2025-01-24 02:19:15 +00:00
2ca2838548
At the same time, rename set_focus_window and add a comment so we're not confused about which function does what. https://bugzilla.gnome.org/show_bug.cgi?id=700735