marionnet-dev team mailing list archive

[noreply@xxxxxxxxxxxxx]

------------------------------------------------------------
revno: 546
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: WORKING
timestamp: Tue 2023-07-04 12:45:34 +0000
message:
  Big changes for threads in the who-does-what policy. Now the big jobs are done by ephemeral threads, while the main thread, which is gtk_main, takes care of the smaller GUI jobs. 
  In particular, it will take care of pulsing a progress bar window. Ephemeral threads, for their part, should not act directly on widgets, but rather delegate any small jobs of this kind to the GTK actor.
modified:
  bin/gMain_actor.mli
  bin/gui/gui_menubar_MARIONNET.ml
  bin/motherboard_builder.ml
  bin/progress_bar.ml
  bin/simulation_level.ml
  bin/sketch.ml
  bin/sketch.mli
  bin/state.ml
  bin/task_runner.ml
  bin/user_level.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