Logo Search packages:      
Sourcecode: wims version File versions

void fr::ove::openmath::jome::ctrlview::bidim::Display::iconify (  )  [inline, inherited]

Iconifies all the selected elements of the formula.

Implements fr::ove::openmath::jome::behaviour::Iconifiable.

Definition at line 1258 of file Display.java.

References fr::ove::openmath::jome::ctrlview::bidim::Display::deselect(), fr::ove::openmath::jome::ctrlview::bidim::Display::fireControlEvent(), fr::ove::openmath::jome::ctrlview::bidim::Display::fireSelectionEvent(), fr::ove::openmath::jome::ctrlview::bidim::selection::events::SelectionEvent::getArgument(), fr::ove::openmath::jome::ctrlview::bidim::Display::getListener(), fr::ove::openmath::jome::ctrlview::bidim::Display::isSymbolOperatorDisplay, fr::ove::openmath::jome::ctrlview::events::ControlEvent::setAction(), and fr::ove::openmath::jome::ctrlview::bidim::selection::events::SelectionEvent::setAction().

Referenced by fr::ove::openmath::jome::ctrlview::bidim::Display::Display().

                          {
        SelectionEvent selectionEvent = new SelectionEvent(this);

        // On récupère la taille de la sélection.
        Integer selectionSize = null;
        selectionEvent.setAction(SelectionEvent.GET_SELECTION_SIZE, selectionSize);
        fireSelectionEvent(selectionEvent);
        selectionSize = (Integer) selectionEvent.getArgument();
        // Si différente de 0, il y a qque chose à iconifier.
        if (selectionSize.intValue() != 0) {
            // On récupère la sélection entière.
            Vector selection = null;
            selectionEvent.setAction(SelectionEvent.GET_SELECTION, selection);
            fireSelectionEvent(selectionEvent);
            selection = (Vector) selectionEvent.getArgument();
            // On créé la liste des éléments à iconifier. (on enlève les displays
            // d'opérateurs parasites, et aux displays qui restent, on récupère
            // la fts dont ils sont le display).
            Display display;
            FormulaTreeStructure fts;
            Vector toIconify = new Vector();
            for (int i = 0; i < selectionSize.intValue(); i++) {
                display = (Display) selection.elementAt(i);
                if (!display.isSymbolOperatorDisplay()) {
                    // On désélectionne le display
                    display.deselect();
                    // On récupère le fts associé au display.
                    fts = (FormulaTreeStructure) display.getListener();
                    // On l'ajoute à la liste des fts à iconifier
                    toIconify.addElement(fts);
                }
            }
            // On purge la sélection
            selectionEvent.setAction(SelectionEvent.PURGE, null);
            fireSelectionEvent(selectionEvent);
            // On envoie l'événement au modèle pour lui dire qu'il faut iconifier
            ControlEvent controlEvent = new ControlEvent(this);
            controlEvent.setAction(ControlEvent.ICONIFY, toIconify);
            fireControlEvent(controlEvent);
        }
    }


Generated by  Doxygen 1.6.0   Back to index