# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1309296979 -7200
# Node ID 500a1529c19147ce4bb13e48679ce34cadb4f08e
# Parent  eead497c87f7bc593b880298d7d522e4c9ac9c1c
added Social contract & About to help menu

diff -r eead497c87f7 -r 500a1529c191 browser_side/menu.py
--- a/browser_side/menu.py	Tue Jun 28 23:35:56 2011 +0200
+++ b/browser_side/menu.py	Tue Jun 28 23:36:19 2011 +0200
@@ -88,6 +88,8 @@
         menu_games.addItem("Xiangqi", MenuCmd(self, "onXiangqiGame"))
 
         menu_help = MenuBar(vertical=True)
+        menu_help.addItem("Social contract", MenuCmd(self, "onSocialContract"))
+        menu_help.addItem("About", MenuCmd(self, "onAbout"))
         
         menu_settings = MenuBar(vertical=True)