public inbox for
 help / color / mirror / Atom feed
* DomTerm/Kawa integration - two new features
@ 2018-01-02  7:09 Per Bothner
  0 siblings, 0 replies; only message in thread
From: Per Bothner @ 2018-01-02  7:09 UTC (permalink / raw)
  To: Kawa mailing list

The DomTerm terminal emulator ( has two
new features Kawa users may find valuable.
(These require the latest Kawa from gitlab.)

(1) The Kawa REPL now supports moving the cursor by clicking the mouse
when run under DomTerm.  This works using either the readline front-end
(enabled by the configure flag --enable-kawa-frontend) or when using
the JLine3 input editor.  When editing multi-line commands using
JLine3 you can also move the cursor between lines, not just within a line.

Wrapped lines (longer than the terminal width) works,
as does middle-button paste.

This works by DomTerm calculating the "distance" between the
clicked position and current cursor position, and
sending the corresponding number of arrow-key events.

(2) Error and warning messages from the Kawa Compiler
are now emitted as clickable links with file: URLs.
By default, when you click on the link, it opens an
emacs window pointing at the erroneous position.
However, you can customize this:

The line-and-column location is turned into
'#position=LINE:COLUMN' added to the end of the URL.
If the file being loaded or compiled has a relative
file name, the file: URL will include the directory
path, though this won't show in the error message.
(You can see the actual URL by hovering over the link.)
	--Per Bothner

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2018-01-02  7:09 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-01-02  7:09 DomTerm/Kawa integration - two new features Per Bothner

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).