Wed, 12 Aug 2020 19:34:38 +0200 | wenzelm | ML status widget similar to org.gjt.sp.jedit.gui.statusbar.MemoryStatusWidgetFactory; | changeset | files |
Wed, 12 Aug 2020 19:32:45 +0200 | wenzelm | support for Poly/ML memory status; | changeset | files |
Wed, 12 Aug 2020 17:53:13 +0200 | wenzelm | clarified signature; | changeset | files |