Make text editor bigger

diff --git a/file/FileManager.java b/file/FileManager.java
index 2f7281d..0325829 100644 (file)
--- a/file/FileManager.java
+++ b/file/FileManager.java
@@ -1459,7 +1459,7 @@ class EditorWindow extends FixedFrame implements CbButtonCallback
        // Editing an existing file
        EditorWindow(RemoteFile f, FileManager p)
        {
-       super(500, 300);
+       super(800, 600);
        file = f; filemgr = p;
        makeUI(false);
        setTitle(filemgr.text("edit_title", file.path));