demo: port to new type structure
widget: notebook: record the focus widget and restore it on switching back
widget: fix the parent type of checkbox