Replaced dock widget with splitter, since result is better and without hacks