-
Arjen Hiemstra authored
We hide the splitter if details are not visible, but since the splitter still has a width of 1 we end up with effectively a 1px margin where the splitter should be. So fix this by effectively moving the splitter 1px over the main table.
f166db36