开发工具UI

滚动条能不能宽点，要抓住它太费劲了，你们不觉得吗？