-
Notifications
You must be signed in to change notification settings - Fork 139
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
IDE changes #654
IDE changes #654
Conversation
f52f311
to
362f35e
Compare
1d5be8e
to
ffe0570
Compare
Another change is the addition of a "Version Details" button. This gathers info from the board ( Place this text in
remove some of the entries and refresh the page to see fields/change/disappear |
cc1370c
to
baebcdd
Compare
d50052f
to
baebcdd
Compare
I've had a look and I like this functionality but it's introduced a new problem. Here's what I found:
Ideally it should check if the other tab truly does have the same file open, or if it's a new file. In the meantime I'm going to work on:
|
Added a number of commits that include:
@giuliomoro awaiting your review |
Currently, notifications are sent to the browser tab, which is where the state is kept. Fixing this properly would require having the server keeping track of the file currently open by each tab, keep track of which tabs have been notified and, when all the other tab close the file, notify the remaining one that they are the only ones currently owning the file. This would require a fair amount of infrastructure. The only easy way to deal with this is to remove the @disastrid what do you think? The rest of the stuff looks good to me, thanks (anyone wishing to test this should run |
81e129f
to
e46fba9
Compare
fa0c99c
to
c37d6c7
Compare
OK, just rebased this on top of dev and added a plethora of updates to it. Most stuff is not visible to the user, but it was bugging me. File upload of multiple files was not working as expected and that's where the whole journey started. New stuff:
Under the hood:
For ease of review, I gulped everything at once at the end. I can later rebase gulping for each commit (wouldn't take more than a couple of minutes to do that). |
227057b
to
2f34121
Compare
Version details: excellent this is finally here. The method of update could be reworded in the popup. The date of update does not seem to be correct either. I am getting the correct month, year and time but the actual day is incorrect. Always 1st March, both for update via the IDE and update via script. Tested on a mini and regular Bela. |
Cannot reproduce. @roberthjack can you show me the content of
There is no distinction whether the update happens via the IDE or by calling |
2457e1a
to
8ab22b7
Compare
c6793eb
to
b0d690f
Compare
…ff to resize(). Note: it would be nicer to handle all of this from css directly, but a first attempt proved too complex for me This also prevents the "this is a preview" message from showing up upon resizing a Pd patch.
…orking, but in a clearer way
duplicated entries when the sever is rebooted.
… (including non-subfolders), appropriately resizing boxes for file names so that they never overlap with the buttons, first-level subfolders are aligned with top-level files
… single error message at the end when one or more exceed the allowed size
6f685ec
to
1ddbc2b
Compare
… so it cannot be cancelled
IDE: warn if another tab opens the file and/or changes it and allow to continue as read-only in the former case.
This is not yet a full 'check if file on disk has changed' as we used to have before some 2018 refactoring, because we only guard against another tab opening the file and not against any changes that may happen on disk for other reasons. However, since we have not had any such thing for almost 3 years, it's good that it's at least partially back..
To fully restore that functionality we need to restore the
mtime
-based workflow that also broke around the same time.Partly addresses #648
Wording and appearance can surely be improved, but hopefully all the needed infrastructure is there