Signals are very different to messages. The former involves just per-app/client work. The latter requires some enhancement to the server and MirEvent. I think we need both.
Signals are very different to messages. The former involves just per-app/client work. The latter requires some enhancement to the server and MirEvent. I think we need both.