Finally: make message list header stay on top when scrolling (#1295420)

Thomas Bruederli

2013-07-09 73ad4f1bfdf104055104907c11f97315d6fb2ebe

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