8687888990919293949596
} } @Override protected void handleLeftClick(MouseEvent e, int index) { EditorCategory category = categoryModel.getCategoryAt(index); if (e.isControlDown()) { switchToTab(category); } else { controller.activateCategory(category); }
100101102103104105106107108109
protected void handleHover(final int index) { EventQueue.invokeLater(new Runnable() { @Override public void run() { EditorCategory category = categoryModel.getCategoryAt(index); controller.handleHover(category); } }); }
359360361362363364365366367
private void rebuildTabToIndexMap() { tabIndeces.clear(); List<EditorCategory> cats = categoryModel.getCategories(); for (int index = 0; index < cats.size(); ++index) { EditorCategory cat = cats.get(index); tabIndeces.put(cat, index); } }