resource editor: give additional space to the editor widget

And not to the resource list when the window size increases.