marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/marionnet/trunk] Rev 271: Modified "glue" (functors) between menu definitions (gui_machine.ml,

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Tue, 21 Sep 2010 17:18:23 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 271
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: marionnet
timestamp: Tue 2010-09-21 16:52:37 +0200
message:
  Modified "glue" (functors) between menu definitions (gui_machine.ml, 
  gui_hub.ml,..) and the result of related dialogs, which is now an abstract 
  data type. This is the first step to replace string environments with 
  something more type safe.
modified:
  gui/gui_cable.ml
  gui/gui_cloud.ml
  gui/gui_hub.ml
  gui/gui_machine.ml
  gui/gui_menubar_MARIONNET.ml
  gui/gui_router.ml
  gui/gui_switch.ml
  gui/gui_world_bridge.ml
  gui/gui_world_gateway.ml
  gui/menu_factory.ml
  gui/menu_factory.mli
  gui/talking.ml
  gui/talking.mli


--
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