Opened 16 years ago

Closed 13 years ago

#190 closed task (wontfix)

Improve proof shell initialisation order

Reported by: David Aspinall Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.1
Component: 2:pg-emacs Keywords:
Cc:

Description

Init order in proof-shell-start is tricky, because the shell mode sets some configuration variables at the same time as the process is being fired up (and the proof-shell-config-done sends startup commands to the prover!).

This could be made cleaner by (1) creating the shell buffer and setting its mode first (including filter functions), then (2) firing up the comint process inside it, then finally (3) sending initialisation messages. It looks like the current comint interface would allow this to work correctly for derived modes, which may have been a problem in earlier versions.

Change History (4)

comment:1 Changed 16 years ago by David Aspinall

Milestone: PG-Emacs-3.7.1 → PG-Emacs-3.7.2

comment:2 Changed 16 years ago by David Aspinall

Milestone: PG-Emacs-3.7.2 → PG-Emacs-4.0

comment:3 Changed 15 years ago by David Aspinall

Milestone: PG-Emacs-4.0 → PG-Emacs-4.1

comment:4 Changed 13 years ago by David Aspinall

Resolution: → wontfix
Status: new → closed

Little value here.

Note: See TracTickets for help on using tickets.