1
0
mirror of https://git.tartarus.org/simon/putty.git synced 2025-07-01 11:32:48 -05:00

Implement Marcin Bulandra's suggestion of only automatically updating the

port number in the GUI when the connection type is changed if the current
port number is the standard one for the current protocol.
It's not perfect, but it should make the common case of tabbing through the
Session panel easier when starting non-SSH connections on odd ports.

[originally from svn r7635]
This commit is contained in:
Jacob Nevins
2007-07-01 15:47:31 +00:00
parent 6c14388c1d
commit db7cc1cba6
6 changed files with 20 additions and 15 deletions

View File

@ -456,5 +456,5 @@ Backend serial_backend = {
serial_cfg_info,
"serial",
PROT_SERIAL,
1
0
};