Window resizing improvements

This release adds some improvements to window resizing:

• resizing is no longer limited by the graph's size
• the graph is now updated on window resize (this is still not perfect...)

Also, a (for now empty) tab page for the comfort editor was added.