This command is presumably supposed to be sync at the moment. That seems difficult to implement e.g. if the window manager has an API where you ask for your window to be resized and it happens (or not) at some later time. Should this command allow async operation?Received on Monday, 16 May 2016 17:27:38 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:09:53 UTC