| 2019 |
2019 |
| 2020 label = gtk_label_new_with_mnemonic(_("_Port:")); |
2020 label = gtk_label_new_with_mnemonic(_("_Port:")); |
| 2021 gtk_misc_set_alignment(GTK_MISC(label), 1.0, 0.5); |
2021 gtk_misc_set_alignment(GTK_MISC(label), 1.0, 0.5); |
| 2022 gtk_table_attach(GTK_TABLE(table), label, 2, 3, 0, 1, GTK_FILL, 0, 0, 0); |
2022 gtk_table_attach(GTK_TABLE(table), label, 2, 3, 0, 1, GTK_FILL, 0, 0, 0); |
| 2023 |
2023 |
| 2024 entry = gtk_entry_new(); |
2024 entry = gtk_spin_button_new_with_range(0, 65535, 1); |
| 2025 gtk_label_set_mnemonic_widget(GTK_LABEL(label), entry); |
2025 gtk_label_set_mnemonic_widget(GTK_LABEL(label), entry); |
| 2026 gtk_table_attach(GTK_TABLE(table), entry, 3, 4, 0, 1, GTK_FILL, 0, 0, 0); |
2026 gtk_table_attach(GTK_TABLE(table), entry, 3, 4, 0, 1, GTK_FILL, 0, 0, 0); |
| 2027 g_signal_connect(G_OBJECT(entry), "changed", |
2027 g_signal_connect(G_OBJECT(entry), "changed", |
| 2028 G_CALLBACK(proxy_print_option), (void *)PROXYPORT); |
2028 G_CALLBACK(proxy_print_option), (void *)PROXYPORT); |
| 2029 |
2029 |