Class TextEditor

src/main/java/fieldcef/plugins/TextEditor.java:34–403

This is a browser, created by default, that embeds the text editor.

 */
public class TextEditor extends Box implements IO.Loaded {

    static public final Dict.Prop<TextEditor> textEditor = new Dict.Prop<>("textEditor").toCanon()
            .type()
            .doc("The TextEditor that is stuck in front of the window, in window coordinates");
    private final Box root;
    @HiddenInAutocomplete
    public Browser browser_;
    @HiddenInAutocomplete
    public String styles;
    String styleSheet = "field-codemirror.css";

    // we'll need to make sure that this is centered on larger screens
    int maxw = 900;
    int maxh = 1400;
    int heightLast = -1;
    int tick = 0;
    Commands commandHelper = new Commands();
    long lastTriggerAt = -1;
    int ignoreHide = 0;
    private int maxhOnCreation = 0;
    private String setHeightCode = "";
    private String setWidthCode = "";
    private String initialURL;

    public TextEditor(Box root) {
        this.properties.put(textEditor, this);
        this.root = root;
    }

    @HiddenInAutocomplete
    private static String readFile(String s, boolean append) {
        try (BufferedReader r = new BufferedReader(new FileReader(new File(s)))) {
            String line = "";
            while (r.ready()) {
                line += r.readLine() + "\n";
            }

            if (append) line += "\n//# sourceURL=" + s;
            return line;

        } catch (IOException e) {
            e.printStackTrace();
        }
        return "";
    }

    int frameLast = 0;

    @HiddenInAutocomplete
    public void loaded() {
        loaded("http://localhost:" + find(ServerSupport.server, both()).findFirst().get().port + "/init");
    }

    @HiddenInAutocomplete
    public void loaded(String initialURL) {

        this.initialURL = initialURL;
        Log.log("texteditor.debug", () -> "initializing browser");