Commit f34059c3 authored by Benjamin Otte's avatar Benjamin Otte

notebook: Convert header node to a gadget

This allows reworking the content node to do real height-for-width.

The content node also takes care of border width, but we might want to
have the toplevel do it or just get rid of it.
parent 8c1a7332
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment