RuleTree.java 文件源码

/**
 * Sets a listener to the anchor image option, if that has not yet been
 * done.
 */
private void setShowAnchorsOptionListener() {
    if (!this.anchorImageOptionListenerSet) {
        JMenuItem showAnchorsOptionItem = getSimulator().getOptions()
            .getItem(Options.SHOW_ANCHORS_OPTION);
        if (showAnchorsOptionItem != null) {
            // listen to the option controlling the rule anchor display
            showAnchorsOptionItem.addItemListener(new ItemListener() {
                @Override
                public void itemStateChanged(ItemEvent e) {
                    suspendListeners();
                    refresh(getSimulatorModel().getState());
                    activateListeners();
                }
            });
            this.anchorImageOptionListenerSet = true;
        }
    }
}