------------------------------------------------------------ revno: 482 committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr> branch nick: marionnet timestamp: Tue 2017-05-23 15:53:24 +0200 message: Machine's dialog insert/update modified in order to clarify the unavailability of some options (Startup-configuration, Console) for the old distributions. Now also the label at the left side of the widget table is set insensitive when the option is not available. modified: gui/gui_bricks.ml gui/gui_bricks.mli machine.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
