marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/marionnet/trunk] Rev 545: Improved sequentiality in state.ml calling GMain_actor.delegate in several critical methods. A fe...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Sat, 01 Jul 2023 21:24:16 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: noreply@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 545
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: WORKING
timestamp: Sat 2023-07-01 21:23:39 +0000
message:
  Improved sequentiality in state.ml calling GMain_actor.delegate in several critical methods. A few new bugs that appeared after the transition to gtk3 now seem to have been fixed with this thread-safe policy.
modified:
  bin/gMain_actor.ml
  bin/gMain_actor.mli
  bin/gui/simple_dialogs.ml
  bin/progress_bar.ml
  bin/simulation_level.ml
  bin/state.ml
  bin/treeview.ml


--
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