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
With the current implementation of the "New duplicated session..." is quite annoying that the Host Name box is empty. This function is common used to access to a cluster of servers. Then you want to change one number (or letter) in the hostname. Therefore I suggest this "simple" change:
When selecting the "New duplicated session..." menu, inside the Configuration window, the box "Host Name" will contains the current hostname... but selected. Therefore if you type "backspace" all is removed. And if you want to change some letter, you can do it.
What you think?
The text was updated successfully, but these errors were encountered:
Hi @cyd01 ,
With the current implementation of the "New duplicated session..." is quite annoying that the Host Name box is empty. This function is common used to access to a cluster of servers. Then you want to change one number (or letter) in the hostname. Therefore I suggest this "simple" change:
What you think?
The text was updated successfully, but these errors were encountered: