Tweak borders and paddings of focused/selected list rows. Don't show focus ...

Thomas Bruederli

2013-11-22 a45c0fa0c47c7b0d9c45843bddad3d24cd457ad9

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