marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/marionnet/trunk] Rev 488: Fixed some possible problems with the widget constructor `Gui_bricks.make_rc_config_widget'. Now ...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Fri, 02 Jun 2017 11:20:44 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 488
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
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