>That doesn't change the splitter itself, but only the percentage of vertical space used for the upper panel.

My thinking was that if he changed the percent to what he wanted then he would never have to change it with the mouse... thus he would never encounter the problem.

>Would it be possible to increase the splitter's width to at least 3 pixels?

This is out of my hands, but to put it into the hands of those that can make the change... add it to the UT suggestions in the document section.