define a proper managed_window interface
improve theme API
more theme API improvement
managed_window improvement
optimize some page render
add missing file
update of theme API, cleanup and fixes
cleanup
simplifie compositor
misc. minor improvements