#216 closed defect (wontfix)
Toolbar size on Carbon Emacs
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | PG-Emacs-3.7.1 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
A user reported toolbar size problems with latest Carbon Emacs.
Change History (1)
comment:1 Changed 16 years ago by
| Resolution: | → wontfix |
|---|---|
| Status: | new → closed |
| Summary: | Toolbar icon size on Carbon Emacs → Toolbar size on Carbon Emacs |
Note: See
TracTickets for help on using
tickets.
On OS X 10.4 with recent Carbon Emacs, the toolbar is indeed quite large compared with icon sizes, but it is the same size as with the standard Emacs icons. Those icons are slightly very larger than the PG ones, although the image files have same dimensions.
Therefore this seems to be a problem with Carbon Emacs rather than Proof General.