search

databricks / spark-pr-dashboard

Dashboard to aid in Spark pull request reviews
spark-prs.appspot.com
Apache License 2.0
54 stars 46 forks source link

Add "Refresh" button for updating PR data without reloading page #48

Closed JoshRosen closed 9 years ago

JoshRosen commented 9 years ago

This patch adds a "Refresh" button to the header which reloads the PR data without refreshing the page or navigating away from the current view:

image

While a refresh is in progress, the button is disabled:

image

Thanks to @tdas for suggesting this feature.

JoshRosen commented 9 years ago

I added an auto-refresh timer which refreshes the data every 5 minutes.

JoshRosen commented 9 years ago

Going to merge this now. It might be fun to add animated transitions or something later to make it more obvious when things are updating.