(ConsoleManager.CreateOptions.TEXT |
ConsoleManager.CreateOptions.STACKED |
ConsoleManager.CreateOptions.NO_LINE_EDITTING |
ConsoleManager.CreateOptions.NO_SYSTEM_OUT_ERR));
try {
manager.focus(console);
TextEditor te = new TextEditor(console);
File f = new File(argv[0]);
te.ro = argv.length == 2 && "ro".equals(argv[1]);
te.loadFile(f);