Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit3f71848

Browse files
committed
refactor: explicitly request the main page with URL visible
- i.e. with the header page expanded
1 parentb85e6fe commit3f71848

File tree

4 files changed

+11
-3
lines changed

4 files changed

+11
-3
lines changed

‎src/main/kotlin/com/coder/toolbox/CoderRemoteEnvironment.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -177,7 +177,7 @@ class CoderRemoteEnvironment(
177177
while (context.cs.isActive&& workspaceStillExists) {
178178
if (wsRawStatus==WorkspaceAndAgentStatus.DELETING|| wsRawStatus==WorkspaceAndAgentStatus.DELETED) {
179179
workspaceStillExists=false
180-
context.envPageManager.showPluginEnvironmentsPage(true)
180+
context.envPageManager.showMainPageWithUrlVisible()
181181
}else {
182182
delay(1.seconds)
183183
}

‎src/main/kotlin/com/coder/toolbox/CoderRemoteProvider.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -288,7 +288,7 @@ class CoderRemoteProvider(
288288
* than using multiple root pages.
289289
*/
290290
privatefungoToEnvironmentsPage() {
291-
context.envPageManager.showPluginEnvironmentsPage(true)
291+
context.envPageManager.showMainPageWithUrlVisible()
292292
}
293293

294294
/**
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
packagecom.coder.toolbox
2+
3+
importcom.jetbrains.toolbox.api.remoteDev.ui.EnvironmentUiPageManager
4+
5+
fun EnvironmentUiPageManager.showMainPageWithUrlVisible() {
6+
showPluginEnvironmentsPage(true)
7+
}

‎src/main/kotlin/com/coder/toolbox/util/CoderProtocolHandler.kt

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ import com.coder.toolbox.sdk.CoderRestClient
99
importcom.coder.toolbox.sdk.v2.models.Workspace
1010
importcom.coder.toolbox.sdk.v2.models.WorkspaceAgent
1111
importcom.coder.toolbox.sdk.v2.models.WorkspaceStatus
12+
importcom.coder.toolbox.showMainPageWithUrlVisible
1213
importcom.jetbrains.toolbox.api.localization.LocalizableString
1314
importkotlinx.coroutines.TimeoutCancellationException
1415
importkotlinx.coroutines.delay
@@ -322,7 +323,7 @@ private suspend fun CoderToolboxContext.showInfoPopup(
322323

323324
privatefun CoderToolboxContext.popupPluginMainPage() {
324325
this.ui.showWindow()
325-
this.envPageManager.showPluginEnvironmentsPage(true)
326+
this.envPageManager.showMainPageWithUrlVisible()
326327
}
327328

328329
/**

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp