Searched refs:WORKBENCH_TAB (Results 1 – 2 of 2) sorted by relevance
59 tabId_ = ElementIds.WORKBENCH_TAB + minimized_id + "_" + ElementIds.idSafeString(title); in ModuleTab()
146 public final static String WORKBENCH_TAB = "workbench_tab"; field in ElementIds