Move the "close timeout" (IDE + editor timeout) to a user preference.

[loujaybee]

Currently, when an editor disconnects from Gitpod, the workspace timeout is then "reset" to 5 minutes. This means that when a user uses the newly implemented gp timeout set command that closing the editor will still close the workspace after 5 minutes. The user should be able to control this editor timeout value, and when extending the workspace timeout should be able to ensure that the workspace will not close, despite the editor closing.

See related comment

Hello and thank you for releasing the timeout extension command and for allowing us to have timeouts of up to 1-2 days (possibly more). However, it looks like the <5 minute timeout when closing the browser window still applies, so the utility of timeout extensions is pretty limited at the moment (at least in our case). Is there a way for us to have the timeout honored even when all browser tabs are closed?

See internal conversation.

Related to:

• Improve Gitpod timeouts for multiple clients (revise the 5 minute editor connection timeout) #10373
• Epic: User Configurable Workspace Timeouts (CLI command + user preference) #9038

[laushinka]

We will revisit on 20 Feb 2023.

[loujaybee]

This is marked complete (I think by accident) but the UI is not yet implemented, re-opening.