[tor-commits] [tor-launcher/master] Add "Open Settings" button to the progress dialog.