20130224¶

• Moved the renderers from lino.ui to a new lino.ui.render, and the ExtJS renderer to another lino.ui.extjs. One day I plan to turn Lino’s ExtJS UI into a separate project so that I can convert the other parts of Lino from GPL to BSD (see docs/tickets/16)
• Oops, RequestField weren’t correctly rendered in an ExtJS grid. This bug must have sneaked in quite some time ago when I moved formatting from store to elem. For the moment that’s okay, but medium-term I noted docs/tickets/75.