| Sat, 03 May 2014 20:10:49 +0200 | wenzelm | propagate more events, notably after hide_popup (e.g. LEFT, RIGHT); | changeset | files |
| Fri, 02 May 2014 23:31:25 +0200 | wenzelm | merged | changeset | files |
| Fri, 02 May 2014 23:30:47 +0200 | wenzelm | NEWS; | changeset | files |
| Fri, 02 May 2014 23:25:56 +0200 | wenzelm | more robust interrupt handling for Scala_Console, which uses JVM Thread.interrupt instead of POSIX SIGINT; | changeset | files |
| Fri, 02 May 2014 23:06:05 +0200 | wenzelm | more sensible interrupt of interpreter, when the user pushes Cancel button; | changeset | files |
| Fri, 02 May 2014 22:33:34 +0200 | wenzelm | obsolete in scala-2.11.0; | changeset | files |
| Fri, 02 May 2014 22:22:51 +0200 | wenzelm | fork Scala interpreter thread, independently of Swing_Thread; | changeset | files |