Jeremy Ruston 694ca76e7f Improve the bitmap editor to allow the bitmap to be resized ... A bit rough and ready, too		2013-06-06 20:55:43 +01:00
..
editors	Improve the bitmap editor to allow the bitmap to be resized	2013-06-06 20:55:43 +01:00
edit.js	Ensure that the edit widget refreshes whenever the editor type changes	2013-06-05 15:38:29 +01:00