------------------------------------------------------------ revno: 488 committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr> branch nick: marionnet timestamp: Fri 2017-06-02 13:14:39 +0200 message: Fixed some possible problems with the widget constructor `Gui_bricks.make_rc_config_widget'. Now the editing window is automatically closed if the user closes the parent dialog. modified: gui/gui_bricks.ml gui/gui_bricks.mli gui/gui_source_editing.ml gui/talking.ml gui/talking.mli machine.ml router.ml switch.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
