-
Committer:
Alan Griffiths
-
Date:
2016-11-03 16:03:29 UTC
-
mfrom:
(430.1.3 miral2)
-
Revision ID:
alan@octopull.co.uk-20161103160329-nn5deso9jyz0d5tw
Add miral::WindowManagerTools::force_close(window) to forcefully close a window (i.e. without a close request to the client)