Closed massimilianoLe closed 5 years ago
we already had this and were not so happy with it in combination with autohide toolbars.
Should i undo it?
No, as not merged nothing changed on the repo yet :)
What was the problem exactly?
For me, none. I tested it and seemed ok. Maybe you can try it again?
the behaviour of pull down seems weird to me as in unnatural pulldown compared to I used to in other apps. still, merging now. thanks