:date: 2016-10-18 ========================= Tuesday, October 18, 2016 ========================= Cool! Ticket :ticket:`1209` is done: when using :mod:`lino_extjs6`, the user has now a preference for selecting the theme. This was entirely done by Hamza. https://github.com/lino-framework/extjs6/pull/54