Opened 16 years ago

Closed 15 years ago

#192 closed enhancement (wontfix)

Improve out-of-the-box behaviour for some common configurations

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

Description

Several places, e.g.:

  • Compatibility with the standard Coq Windows distribution (currently there are path problems, as well as much use of shell-command-to-string in coq.el).
  • The unthinkable: easy Isabelle on Windows? Easy X-Symbol there?
  • Remove use of so many window-system strings in proof-face-specs; just default to simple and standard defface settings (also improves behaviour in custom where lisp is sometimes seen). Are settings really needed for light/dark/terminal, doesn't everyone use light nowadays? The dark ones may customise themselves...

Change History (3)

comment:1 Changed 16 years ago by David Aspinall

Milestone: PG-Emacs-3.7.1 → PG-Emacs-3.8
Status: new → assigned

comment:2 Changed 16 years ago by David Aspinall

Milestone: PG-Emacs-3.8 → PG-Emacs-4.0

comment:3 Changed 15 years ago by David Aspinall

Milestone: PG-Emacs-4.0 → PG-Emacs-4.1
Priority: major → minor
Resolution: → wontfix
Status: assigned → closed

Let's put this one to sleep as wontfix for now:

  • downstream packagers are taking care of some issues (would be good to merge useful patches)
  • proof-face-specs might be simplified, although still rumours of people running on plain tty

Note: See TracTickets for help on using tickets.