Reset also page header/footer on "dummy frames" - to prevent js error e.g. ...

Aleksander Machniak

2014-07-02 ef51ae6d193e22e6b7662a632d37479519c5bf97

1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);