Rework connection timeouts

This commit is contained in:
crschnick 2023-08-20 21:44:55 +00:00
parent 99da294b0a
commit 99cc92eb8b
3 changed files with 17 additions and 1 deletions

View file

@ -104,6 +104,11 @@ public class AppPrefs {
private final BooleanProperty useSystemFontInternal = typed(new SimpleBooleanProperty(true), Boolean.class);
public final ReadOnlyBooleanProperty useSystemFont = useSystemFontInternal;
private final IntegerProperty tooltipDelayInternal = typed(new SimpleIntegerProperty(1000), Integer.class);
private final IntegerProperty connectionTimeOut = typed(new SimpleIntegerProperty(10), Integer.class);
public ReadOnlyIntegerProperty connectionTimeout() {
return connectionTimeOut;
}
private final BooleanProperty saveWindowLocationInternal = typed(new SimpleBooleanProperty(false), Boolean.class);
public final ReadOnlyBooleanProperty saveWindowLocation = saveWindowLocationInternal;
@ -614,6 +619,14 @@ public class AppPrefs {
Setting.of("tooltipDelay", tooltipDelayInternal, tooltipDelayMin, tooltipDelayMax),
Setting.of("language", languageControl, languageInternal)),
Group.of("windowOptions", Setting.of("saveWindowLocation", saveWindowLocationInternal))),
Category.of(
"connections",
Group.of(
Setting.of(
"connectionTimeout",
connectionTimeOut,
5,
50))),
new PasswordCategory(this).create(),
Category.of(
"editor",

View file

@ -1,3 +1,6 @@
connectionTimeout=Connection timeout
connectionTimeoutDescription=The time in seconds to wait for a response before considering a connection to be timed out. If some of your remote systems take long to connect, you can try to increase this value.
connections=Connections
appearance=Appearance
integrations=Integrations
uiOptions=UI Options

View file

@ -111,7 +111,7 @@ public interface ShellControl extends ProcessControl {
ShellControl initWith(List<String> cmds);
ShellControl startTimeout(int ms);
ShellControl additionalTimeout(int ms);
FailableSupplier<SecretValue> getElevationPassword();