Getter to detect if treelist widget is in search mode

Thomas Bruederli

2014-08-07 00dd283999fd42870bc2ea8412a4e39f7c52060c

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