SetMaximumHeight of nodes and arcs properties
New token editor

The token editor is now a list.

No node is selected anymore when loading a file