diff --git a/fetchmail/edit_global.cgi b/fetchmail/edit_global.cgi index a0fa64003..50d3a6607 100755 --- a/fetchmail/edit_global.cgi +++ b/fetchmail/edit_global.cgi @@ -22,52 +22,36 @@ foreach $c (@conf) { $poll = $c if ($c->{'defaults'}); } -print "
\n"; -print "\n"; -print "\n"; - # Show default server options -print "\n"; -print "\n"; -print "
$text{'global_header'}
\n"; +print &ui_form_start("save_global.cgi", "post"); +print &ui_hidden("file", $file); +print &ui_hidden("user", $in{'user'}); +print &ui_table_start($text{'global_header'}, "width=100%", 2); -print "\n"; -print "\n"; +# Protocol +print &ui_table_row($text{'poll_proto'}, + &ui_select("proto", lc($poll->{'proto'}), + [ [ '', $text{'default'} ], + map { [ $_, uc($_) ] } ('pop3', 'pop2', 'imap', 'imap-k4', 'imap-gss', 'apop', 'kpop'), + ], 1, 0, 1)); -print "\n"; -printf "\n", - $poll->{'port'}; +# Port number +print &ui_table_row($text{'poll_port'}, + &ui_opt_textbox("port", $poll->{'port'}, 8, $text{'default'})); +# Network interface to check @interface = split(/\//, $poll->{'interface'}); -print "\n"; +print &ui_table_row($text{'poll_interface'}, + &ui_radio("interface_def", @interface ? 0 : 1, + [ [ 1, $text{'poll_interface_def'} ], + [ 0, $text{'poll_interface_ifc'} ] ])."\n". + &ui_textbox("interface", $interface[0], 8)." ". + $text{'poll_interface_ip'}." ". + &ui_textbox("interface_net", $interface[1], 15)." / ". + &ui_textbox("interface_mask", $interface[2], 15)); -print "
$text{'poll_proto'}$text{'poll_port'} %s\n", - $poll->{'port'} ? '' : 'checked', $text{'default'}; -printf " %s\n", - $poll->{'port'} ? 'checked' : ''; -printf "
$text{'poll_interface'}\n"; -printf " %s
\n", - @interface ? '' : 'checked', $text{'poll_interface_def'}; -printf " %s\n", - @interface ? 'checked' : '', $text{'poll_interface_ifc'}; -print " ", - "$text{'poll_interface_ip'}\n"; -print " /\n"; -print "
\n"; - -print "\n"; -print "\n"; -print "
\n"; +print &ui_table_end(); +print &ui_form_end([ [ undef, $text{'save'} ] ]); if (!$fetchmail_config && $config{'view_mode'}) { &ui_print_footer("edit_user.cgi?user=$in{'user'}", $text{'user_return'},