Method update

src/main/java/fielded/RemoteEditor.java:1207–1253

()

    boolean pinned = false;

    protected boolean update() {

        if (selectionHasChanged && !pinned) {

            selectionHasChanged = false;
            lastCh = completionHelp.get();

            Set<Box> selection = this.breadthFirst(both())
                    .filter(x -> x.properties.isTrue(Mouse.isSelected, false))
                    .filter(x -> !(x instanceof TextEditor))
                    .collect(Collectors.toSet());

            if (selection.size() != 1) {
                changeSelection(null, currentlyEditing);
            } else {
                Box target = selection.iterator()
                        .next();

                Dict.Prop objectProp;

                if (currentlyEditing != null && target.properties.has(currentlyEditing)) {
                    objectProp = currentlyEditing;
                } else objectProp = target.find(defaultEditorProperty, target.upwards())
                        .findFirst()
                        .map(x -> (Dict.Prop) new Dict.Prop<String>(x).toCanon())
                        .orElseGet(() -> (Dict.Prop) Execution.code);


                Log.log("remoteeditor",
                        () -> " looking for a defaultEditorProperty on <" + target + "> <" + target.properties.get(defaultEditorProperty) + ">, got <" + objectProp + ">");

                if (!(target == currentSelection && objectProp.equals(currentlyEditing)))
                    changeSelection(target, objectProp);
            }
        }

        String ch = completionHelp.get();
        if (!ch.equals(lastCh)) {
            JSONStringer h = new JSONStringer();
            h.object().key("message").value(ch).endObject();
            server.send(socketName, "_messageBus.publish('extra.help', " + h + ")");
            lastCh = ch;
        }


        return true;
    }

    static public Execution getExecution(Box box, Dict.Prop<String> prop) {