joschabach/micropsi2 — pull request #32 by Doik (2014-06-19 17:07:47+00:00)
Title: Improve world ui

- Provide default images for unknown world objects and agents
- remove ability to edit objects (name is not relevant, parameters are not used atm)
- Offer a way to delete world objects (agents cannot be deleted)
- Improve world object creation by providing a seperate mode
- Fix the world-status-display
- Add a vertical size adjustment handle
- Allow dragging of objects while the world is stepping