beremiz

Fix bug with Properties menu entry

2012-05-21, laurent
90dcb47a99ed
Fix bug with Properties menu entry
from pyjs import *