Tweak borders and paddings of focused/selected list rows. Don't show focus ...

Thomas Bruederli

2013-11-22 a45c0fa0c47c7b0d9c45843bddad3d24cd457ad9

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