marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/marionnet/trunk] Rev 542: Added module GMain_actor to transform the GTK main thread in a actor (in the sense of https://en....

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Mon, 26 Jun 2023 14:53:16 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: noreply@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 542
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: WORKING
timestamp: Mon 2023-06-26 14:48:02 +0000
message:
  Added module GMain_actor to transform the GTK main thread in a actor (in the sense of https://en.wikipedia.org/wiki/Actor_model). To avoid conflicts between threads accessing GUI resources, all other threads should "delegate" any action on the GUI to the `gtk_main' actor
added:
  bin/gMain_actor.ml
  bin/gMain_actor.mli
modified:
  lib/CHANNEL/milner.mli


--
lp:marionnet
https://code.launchpad.net/~marionnet-drivers/marionnet/trunk

Your team marionnet-dev is subscribed to branch lp:marionnet.
To unsubscribe from this branch go to https://code.launchpad.net/~marionnet-drivers/marionnet/trunk/+edit-subscription