From d0735b0eb76de26436371fbcc788821a845ed074 Mon Sep 17 00:00:00 2001
From: ShH Y <74806550+1208nn@users.noreply.github.com>
Date: Mon, 30 Mar 2026 23:41:05 +0800
Subject: [PATCH] fix: Add proxy options to Settings UI

---
 scripts/SettingsUI.gd | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/SettingsUI.gd b/scripts/SettingsUI.gd
index 7fb47d0..09316a2 100644
--- a/scripts/SettingsUI.gd
+++ b/scripts/SettingsUI.gd
@@ -47,6 +47,8 @@ func _ready() -> void:
 	%NumReleasesField.value = Settings.read("num_releases_to_request") as int
 	%NumPrsField.value = Settings.read("num_prs_to_request") as int
 	
+	for option in _proxy_options:
+		%ProxyOptionList.add_item(option)
 	var proxy_option_idx := _proxy_options.find(Settings.read("proxy_option"))
 	if proxy_option_idx >= 0:
 		%ProxyOptionList.selected = proxy_option_idx