beremiz

Added button in graph for changing graph size to minimum

2013-02-21, Laurent Bessard
fc1515f27e1f
Added button in graph for changing graph size to minimum
from py_ext import *
from PythonEditor import PythonEditor
from PythonFileCTNMixin import PythonFileCTNMixin