Fix splitter code to properly work with 1px size borders

Thomas Bruederli

2014-09-18 13bbcd0f59ef7a4459a6909079f0a558913e808a

1
2
3
4
CREATE TABLE "system" (
    name varchar(64) NOT NULL PRIMARY KEY,
    value text
);