Move folder/directory list auto-scrolling functionality to treelist widget ...

Thomas Bruederli

2014-01-05 72975e14970ec4eeac927b80754ee3a5c6ada58e

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