GitLab

The Same Height condition is still here though, but who would want characters
of different heights in the same line?

Tried to implicitely convert Vector2 in Float...
This is an argument for typing GDScript

This is the core of the workspace, and will be used in functions such as
going up/down and every mouse event

One bug corrected: children were fit in a rectangle of the size of the WorkSpace

Godot API is such a mess: 1000 lines of Python to parse XML that outputs rst
to feed the sphinx...

Never work simultaneously on two different repos

This reverts commit 96214c65.

The only purpose of this commit is to make a `git pull`.