More improvements to list focus styles: - display focused row also when sel...

Thomas Bruederli

2013-11-22 1670b3e1d3a46fd8b9cb691c03017956452c155e

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