FigurePage.java 文件源码

@Override
public void closed() {
    if (display_list == -1) {
        return;
    }
    GLAllocation.deleteDisplayLists(display_list);
    display_list = -1;
}