You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
- right now there are two confirmation dialogs when removing a workspace
from Toolbox
- with this patch we force Toolbox to discard its default dialog and
show a custom one with
the Coder titles and messages.
- resolves#60
if (wsRawStatus.canStop()) "Workspace will be closed and all the information will be lost, including all files, unsaved changes, historical info and usage data."
159
+
else"All the information in this workspace will be lost, including all files, unsaved changes, historical info and usage data."
context.i18n.ptrl("Workspace will be closed and all the information in this workspace will be lost, including all files, unsaved changes and historical."),
158
-
context.i18n.ptrl("Delete"),
159
-
context.i18n.ptrl("Cancel")
160
-
)
161
-
} else {
162
-
context.ui.showOkCancelPopup(
163
-
context.i18n.ptrl("Delete workspace?"),
164
-
context.i18n.ptrl("All the information in this workspace will be lost, including all files, unsaved changes and historical."),
165
-
context.i18n.ptrl("Delete"),
166
-
context.i18n.ptrl("Cancel")
167
-
)
168
-
}
169
-
if (shouldDelete) {
170
-
try {
171
-
client.removeWorkspace(workspace)
172
-
context.cs.launch {
173
-
withTimeout(5.minutes) {
174
-
var workspaceStillExists =true
175
-
while (context.cs.isActive && workspaceStillExists) {
176
-
if (wsRawStatus ==WorkspaceAndAgentStatus.DELETING|| wsRawStatus ==WorkspaceAndAgentStatus.DELETED) {
0 commit comments