Udinic/SmallExamples — pull request #1 by andreas- (2012-06-08 18:20:34+00:00)
Title: change show/hide animation decision from view margin to view visibility

it´s better to depend on the views visibility to decide if the toolbox will be hidden or shown than on the views bottom margin.