Custom Query (361 matches)
Results (46 - 48 of 361)
| Ticket | Owner | Reporter | Resolution | Summary |
|---|---|---|---|---|
| #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. |
|||
| #225 | wontfix | Allow Unicode Tokens to work smoothly for several modes at once | ||
| Description |
Allow Unicode Tokens to work smoothly for several modes at once. This would enable use with LaTeX and other modes at the same time as in PG. |
|||
| #226 | wontfix | Add configurable key bindings to Unicode Tokens tables | ||
| Description |
Tokens could be used to configure some useful common keybindings, cf the useful old bindings of X-Symbol. Since token appearance is mode specific these also belong to modes. |
|||
Note: See TracQuery
for help on using queries.
