Method getExecution

src/main/java/fielded/RemoteEditor.java:1255–1266

(Box box, Dict.Prop<String> prop)

    }

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

        return box.breadthFirst(box.upwards())
                .filter(x -> x.properties.has(Execution.execution))
                .map(x -> x.properties.get(Execution.execution))
                .filter(x -> x != null)
                .filter(x -> x.support(box, prop) != null)
                .findFirst()
                .orElseGet(() -> null);


    }

    /**
     * A general purpose Send some JavaScript to a text editor call. This is queued to run inside the animation cycle, and thus is thread-safe.