Dear John,
"John O'Gorman" <john(a)og.co.nz> writes:
- In the Ciao query window the first query works as expected but when
it completes a. the query prompt ?- shows on a new line b. but the cursor is before it instead of after. c. arrow keys etc are echoed OK but the query engine does not respond.
ciao 1.10p8
This is a bug in Ciao emacs mode fixed in recent releases. You may upgrade to a more recent Ciao version (I guess this is the recommended choice) or you may apply the following fix:
In the ciao-debug-filter function (locate it with C-h f), replace this code:
,---- | ciao-debug-filter-pending-text nil)) | (save-excursion | (set-buffer (process-buffer proc)) `----
by this one:
,---- | ciao-debug-filter-pending-text nil)) | (save-current-buffer | (set-buffer (process-buffer proc)) `----
Regards, Emilio