Create/Edit/Copy Tool Dialog (Remote SSH External Tools)
From the Remote SSH External Tools page: 
, 
or 
Edit the settings for your external tool.
Last modified: 27 December 2019
From the Remote SSH External Tools page: , or
Edit the settings for your external tool.