107108109110111112113114
} else if (event instanceof WorkspaceResetEvent) { handleWorkspaceReset((WorkspaceResetEvent) event); } } }; checkStateManager = new TagTableCheckStateManager(); tagTableSearchFilter = new TagTableSearchFilter(); }