I know, but we could have border for anything wider than 2px, and not have it for 1-2px. With this change, wide splitters look worse. Anyway, you can land this, and I'll maybe do that change sometime.