Fix navigation arrows.

Normand Briere

2019-09-08 4a303a7b3635adfee8f46ac76af4e1b7b4a7029b

1
2
3
4
5
6
interface ObjectUI
{
//    public void applySelf();
    public void closeUI();
    public ObjEditor GetEditor();
}