Custom Query (361 matches)
Results (52 - 54 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#128 | invalid | Navigator view broken | ||
Description |
Launching navigator view leads to a NPE inside Eclipse, when calling IDEWorkbenchPlugin.getDefault().getDescriptor() During a call to resource filtering on default filters. This doesn't happen from the full Eclipse install, perhaps one of the *compatibility* plugins does extra initialisation that prevents it? Or something we should be doing to init? |
|||
#129 | fixed | X-Symbol in GNU Emacs: fix support for hiding tokens \<^loc>, \<bsub>, etc | ||
Description |
These symbols are hidden by font locking in X-Symbol in XEmacs with x-symbol-invisible-face. This doesn't work in GNU Emacs at present. |
|||
#131 | fixed | Add preference setting for interrupt command | ||
Description |
This is prover specific and (in the case of Isabelle), unfortunately hard to determine. Code currently has "killall -2 HOL" hardwired. This should be moved to a prover preference setting (near Use PGIP interrupts) |
Note: See TracQuery
for help on using queries.