log browser_side/panels.py @ 106:edce682df120

age author description
Tue, 28 Jun 2011 14:23:12 +0200 Goffi browser side: bottomBorderWidget size fix (for webkit)
Tue, 28 Jun 2011 13:37:02 +0200 Goffi browser side: widgets' setting: height detection fix