Join devRant
Do all the things like
++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatar
Sign Up
Pipeless API
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple API
Learn More
Bug Report: Weird Padding in Top of The Feed After setting another filter.
Steps to reproduce:
Pull down The feed (Refresh your Feed), toggle The Filter while The Feed is refreshing and Hide it (while The Feed is still refreshing itself [or while it's doing another refresh])
@dfox
undefined