Custom Query (361 matches)
Results (58 - 60 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #216 | wontfix | Toolbar size on Carbon Emacs | ||
| Description |
A user reported toolbar size problems with latest Carbon Emacs. |
|||
| #217 | wontfix | Chosen logic: changes should invoke isabelle-load-isar-keywords | ||
| Description |
Chosen logic can now be changed using file local variables as well as menu. To be precise, either way should reload the appropriate keywords file and refresh. |
|||
| #224 | wontfix | X-Symbol on Carbon Emacs 1.6.0: problem with sub/superscripts | ||
| Description |
Carbon Emacs 1.6.0, X-Symbol (with either version of the ttf fonts),
Courier Fontset. Now sub/superscripts of letters are displayed in greek instead of lattin! For example see It does work correctly with the default "16-dot medium" fontset of Carbon Emacs. So maybe Carbon Emacs is to blame, but there might be a workaround for PG. |
|||
Note: See TracQuery
for help on using queries.
