| Sun, 10 Nov 2024 11:38:23 +0100 | wenzelm | more reactive interrupts (via Future.cancel); | changeset | files |
| Sat, 09 Nov 2024 21:34:38 +0100 | wenzelm | Document.Snapshot: support for multiple snippet_commands; | changeset | files |
| Sat, 09 Nov 2024 16:39:33 +0100 | wenzelm | more robust: make double-sure that this is the correct output, not a different version from concurrent GUI_Thread.later; | changeset | files |
| Sat, 09 Nov 2024 16:34:14 +0100 | wenzelm | clarified signature: include standard margin in object equality; | changeset | files |
| Sat, 09 Nov 2024 16:01:07 +0100 | wenzelm | performance tuning: prefer asynchronous Pretty.formatted, which actually takes longer than Command.rich_text (see also 97964515a676, where Pretty.formatted was on the GUI thread, maybe for the sake of java.awt.FontMetrics at that time); | changeset | files |
| Wed, 13 Nov 2024 15:00:17 +0000 | paulson | The ceillog2 function (thanks to Manuel Eberl), replacing two copies of Ceil_Log2 | changeset | files |