fixing bug #6124 : using 'resizable' (interaction of jQuery UI) instead of 'splitter' plugin