Github user JoshRosen commented on the pull request:
https://github.com/apache/spark/pull/9860#issuecomment-159182921
I worry that this opens a can of UI / UX worms for very little net benefit
to users. For instance, a common complaint with the Jenkins auto-refresh is
that the delay is not configurable, leading to the development of Jenkins
plugins to add options for controlling the timeout:
https://wiki.jenkins-ci.org/display/JENKINS/Config+AutoRefresh+Plugin; I
imagine we'd run into similar complains / feature requests as soon as we added
this. The net benefit to users seems tiny if we're not going to do in-place
updating without the page refresh, so I'm personally against adding this UI
clutter.
(By the way, whether we do push vs. pull is slightly orthogonal to updating
the view contents without refreshing the whole page; for example, spark-prs'
in-place refresh is entirely pull-based; this is a larger discussion which
belongs on JIRA, though).
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]