Github user 1ambda commented on the issue:
https://github.com/apache/zeppelin/pull/2176
@FRosner
**How do I get the remote changes / discard my local changes**
- Zeppelin will synchronize text automatically. That's the reason why it
doesn't have button for that.
- But if Zeppelin keep local changes, we need some buttons or method for
synchronizing text. (e.g update text for every 10 seconds if we don't have
local change).
It will be another feature we need to develop soon. IMO, it beyond the
scope of this PR :)
---
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.
---
