Regarding theming,

I'm not certain Nitpicker per se would have to be involved, it might be in the layer above (decorator), and in apps. In other words, the way I understand it, implementing a theme has 2 parts:

1) the inside of windows, i.e. application realm

2) the window decorations + management

One might say that 1) is the business of applications, e.g. if you're running a Qt application like Falkon or Chromium then it's Qt's job to do theming ;

As to 2) Genode allows writing new "decorator" components I think ? I plan to do just that some day, to have "yellow tab" window decorations, though that's not so high on my priority list ATM.

Cedric

PS - worked a few weeks with LVGL last  year for a client, found it surprisingly nicely done, especially after I finally found a C++ binding on top of the plain C API ; it allows embedded applications to look kinda like "real" applications, and seems very stable ; but say, nothing prevents from using it in Genode (with an appropriate 'port') for applications I guess ; as to using it for the Leitzencentrale and Genode-provided apps and such, I suspect Genode will want to preserve their visual identity ;)