------------------------------------------------------------ revno: 497 committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr> branch nick: marionnet timestamp: Mon 2017-06-19 14:56:46 +0200 message: Minor change in state.ml. Now `dot' errors are redirected to /dev/null, in order to prevent an annoying message when marionnet is closed by the user and, in the same time, the callback refreshing the sketch is called asynchronously a last time before closing. modified: gui/gui_bricks.ml state.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 _______________________________________________ Mailing list: https://launchpad.net/~marionnet-dev Post to : marionnet-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~marionnet-dev More help : https://help.launchpad.net/ListHelp
