Thomas Bruederli 8845dc032d Use effective box title height when unfolding the folder search box		2014-07-14 09:19:09 +02:00
..
larry	Use effective box title height when unfolding the folder search box	2014-07-14 09:19:09 +02:00