-
Notifications
You must be signed in to change notification settings - Fork 177
feat: add IsLiveEditing API #904
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
I think we can merge this API addition to |
81304e7
to
1792b05
Compare
5858910
to
93221ad
Compare
The base branch was changed.
@schinkowski |
The other PRs were merged into the wrong branch. I made a new PR for this here: #908 |
I think we can close this PR since
What do you think ? |
I guess so, looks like this doesn't have any other changes now. |
Adding a way to check whether live editing is active.
Need to merge this first: #903