[Marionnet-dev] [Branch ~marionnet-drivers/marionnet/trunk] Rev 401: Replaced the stock icon `gtk_disconnect' with a home-made icon (ico.poweroff.24x24.png) represent...

[noreply]

------------------------------------------------------------
revno: 401
committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr>
branch nick: marionnet
timestamp: Fri 2013-01-18 11:18:14 +0100
message:
  Replaced the stock icon `gtk_disconnect' with a home-made icon 
(ico.poweroff.24x24.png) representing a power switch for the big button 
"Power-off all". Also moved the definition of the big buttons from gui.xml to 
gui_window_MARIONNET.ml (now gui.xml is -13% shorter (removed 200 lines)). Also 
defined a tool to create real Gtk's buttons (not Gtk's image_menu) activating a 
menu on click.
added:
  .bzrignore
  share/images/ico.poweroff.24x24.png
modified:
  gui/gui.xml
  gui/gui_bricks.ml
  gui/gui_bricks.mli
  gui/gui_window_MARIONNET.ml
  marionnet.ml
  share/images/README
  user_level.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