Per Bothner
|
a737786866
* DomTermBackend.java (run): Only set automatic-newline for output.
|
6 years ago |
Per Bothner
|
1935f801de
* DomTermBackend.java (close): Add work-around for jline.
|
7 years ago |
Per Bothner
|
13a50e8727
* DomTermBackend.java: Use org.domterm.DomHttpServer,
|
7 years ago |
Per Bothner
|
cb36c6406b
* DomTermBackend.java (setWindowSize): Fix inconsistent parameter order.
|
7 years ago |
Per Bothner
|
222391fed3
* repl.java: Move some logic for "-w" to ...
|
8 years ago |
Per Bothner
|
105948488c
More flexibility and convenience starting REPL window or reading manual.
|
8 years ago |
Per Bothner
|
76b69f4b8e
* PrettyWriter.java: If DomTerm, don't do line-breaking.
|
8 years ago |
Per Bothner
|
17f25eb848
* DomTermBackend.java (reportEvent): Minor update.
|
8 years ago |
Per Bothner
|
692bf8089f
Improve handling of Ctrl-C (interrupt) and Ctrl-D (end-of-file).
|
8 years ago |
Per Bothner
|
298ec3ac9d
Add support for (re-)loading stylesheet under DomTerm.
|
8 years ago |
Per Bothner
|
8a33b05344
Pass windows size events from DomTem to JLine.
|
8 years ago |
Per Bothner
|
16ce90fabb
New option to run a REPL in a JavaFX DomTerm window.
|
8 years ago |