public boolean resetDefaultHighlighter(boolean activeClusterChanged) { if (automatic && controler.getHighlighter() == Highlighter.CLUSTER_HIGHLIGHTER && activeClusterChanged && clustering.getNumClusters() > 1 && clustering.isClusterActive()) { controler.setHighlighter(Highlighter.DEFAULT_HIGHLIGHTER, false); automatic = true; return true; } return false; }
private void update() { if (controler.getHighlighter() == Highlighter.CLUSTER_HIGHLIGHTER && !clustering.isClusterActive()) automatic = true; else automatic = false; }