Bigger default size.

Normand Briere

2019-05-02 a7277e6c6381e55761f7fa87276260fac1c94d5e

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