Allow manual size for separator as opposed to just fixed or automatic size.
With this edit, a given separator can now be lengthened without having to make it take all remaining available space, or even shrunk.
Closes: #80 (closed)
Edited by Gaël Bonithon