Merge #11809: gui: Fix proxy setting options dialog crash