| Wed, 01 Dec 2010 20:34:40 +0100 |
wenzelm |
more abstract/uniform handling of time, preferring seconds as Double;
|
file |
diff |
annotate
|
| Wed, 10 Nov 2010 20:43:22 +0100 |
wenzelm |
Sidekick block asset: show first line only;
|
file |
diff |
annotate
|
| Mon, 23 Aug 2010 16:07:18 +0200 |
wenzelm |
module for simplified thread operations (Scala version);
|
file |
diff |
annotate
|
| Sun, 22 Aug 2010 22:09:14 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 12:09:53 +0200 |
wenzelm |
added Library.thread_actor -- thread as actor;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 23:02:19 +0200 |
wenzelm |
simple_dialog: allow scala.swing.Component as well;
|
file |
diff |
annotate
|
| Sat, 03 Jul 2010 20:36:30 +0200 |
wenzelm |
more precise timing;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 23:19:27 +0200 |
wenzelm |
tuned zoom_box;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 11:50:19 +0200 |
wenzelm |
added Library.undefined (in Scala);
|
file |
diff |
annotate
|
| Thu, 20 May 2010 23:19:28 +0200 |
wenzelm |
added somewhat generic zoom box;
|
file |
diff |
annotate
|
| Mon, 10 May 2010 23:46:49 +0200 |
wenzelm |
simple dialogs: ensure Swing thread;
|
file |
diff |
annotate
|
| Thu, 06 May 2010 23:32:29 +0200 |
wenzelm |
added separate;
|
file |
diff |
annotate
|
| Thu, 06 May 2010 21:02:34 +0200 |
wenzelm |
slightly more general Library.chunks;
|
file |
diff |
annotate
|
| Mon, 11 Jan 2010 22:01:01 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 11 Jan 2010 20:36:59 +0100 |
wenzelm |
timeit message;
|
file |
diff |
annotate
|