Fix navigation arrows.

Normand Briere

2019-09-08 4a303a7b3635adfee8f46ac76af4e1b7b4a7029b

1
2
3
4
5
6
7
8
 
interface BezierElement
{
    public int GetDepth();
    public void SetDepth(int d);
    
    public void recalculate();
}