Method sendJavaScript

src/main/java/fielded/RemoteEditor.java:1271–1276

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.

(String javascript)

     * 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.
     */
    public void sendJavaScript(String javascript) {
        Log.log("javascript.trace", () -> ">>>Sending javascript");
        Log.log("javascript.trace", () -> javascript);
        Log.log("javascript.trace", () -> "<<<Sentjavascript");
        server.send(socketName, javascript);
    }

    /**
     * A general purpose Send some JavaScript to a text editor call, doesn't queue it inside the animation cycle, this must be called from the main thread, or a blocking ThreadSync thread