-
Notifications
You must be signed in to change notification settings - Fork 1.2k
Throw if no workspace #933
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
c7f321b to
2174d84
Compare
9361b8b to
cac3401
Compare
| const provider = fileManager.getProvider('workspace') | ||
| provider.lastLoadedGistId = gistId | ||
| } else { | ||
| modalDialogCustom.alert(errorLoadingFile.message || errorLoadingFile) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Please add a title to the modal, looks kind of unfinished without.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I can update those, but most of the custom alert doesn't set any title..
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I know. I'm putting everywhere now. Looks better
| alert: function (title, text) { | ||
| if (text) return modal(title, yo`<div>${text}</div>`, null, { label: null }) | ||
| return modal('', yo`<div>${title}</div>`, null, { label: null }) | ||
| return modal('alert', yo`<div>${title}</div>`, null, { label: null }) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
capital?
af63d1e to
86d4a9c
Compare
86d4a9c to
d3b9305
Compare
0a63fd2 to
77925a0
Compare
a7c9c05 to
a0d1fcc
Compare
5639713 to
aaeea9d
Compare
This throws an exception while using file manager and file provider if no workspace has been set.