On Tue, 8 Jan 2013, Steffen Juilf Smolka wrote:
The problem is still there on Mountain Lion with an American keyboard.
However, rebinding the kebyoard shortcut locally as you suggested does the
trick - thanks for the tip!
Here is an ugly hack (based on the KeyEventDemo you provided) that
On Sat, 29 Dec 2012, Makarius wrote:
On Sat, 29 Dec 2012, Florian Haftmann wrote:
The graphview plugin, despite significant progress in the past weeks
esp. wrt. performance, is IMHO still not suitable to manage our typical
graphs (in particular class_deps), mainly due to too small-sized nodes
*** Prover IDE -- Isabelle/Scala/jEdit ***
* Dockable window Monitor shows ML runtime statistics.
*** System ***
* Improved ML runtime statistics (heap, threads, future tasks etc.).
This refers to Isabelle/054f6bf349d2, with some further refinements later.
The main purpose is for system