Opened 16 years ago

Closed 12 years ago

#159 closed enhancement (wontfix)

Goal centering

Reported by: mccreight Owned by: courtieu
Priority: minor Milestone: PG-Emacs-4.2
Component: 2:pg-emacs Keywords: goals
Cc:

Description

Is it possible to have the centering behavior of the *goals* window be configurable? I see from ticket #111 that the behavior was changed recently to center on the bottom of the goal instead of the top of the hypotheses, but unfortunately a lot of things I prove end up with 50 line goals, so the old behavior (while sometimes not ideal) is still better for me.

Change History (6)

comment:1 Changed 16 years ago by David Aspinall

Owner: changed from David Aspinall to courtieu

comment:2 Changed 16 years ago by David Aspinall

Milestone: PG-Emacs-3.7 → PG-Emacs-3.8

comment:3 Changed 16 years ago by David Aspinall

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

comment:4 Changed 15 years ago by David Aspinall

Milestone: PG-Emacs-4.0 → PG-Emacs-4.1
Owner: changed from courtieu to David Aspinall
Status: new → accepted

comment:5 Changed 13 years ago by David Aspinall

Milestone: PG-Emacs-4.1 → PG-Emacs-4.2
Owner: changed from David Aspinall to courtieu
Status: accepted → assigned

comment:6 Changed 12 years ago by David Aspinall

Resolution: → wontfix
Status: assigned → closed

Closing this as it was reported 5 years ago, I'm not sure if it is still a problem. (Somebody can re-open if they believe so).

Note: See TracTickets for help on using tickets.