556ff8e343
- Remove the deprecated timer request API. - Add a new "Special Request" API for things like "maximize" / "minimize" etc. that takes an optional window ID. Expects no response, useful for one-off triggers like this. - Add maximize button to fancy decoration theme and general support in decoration library. |
||
---|---|---|
.. | ||
active | ||
inactive |