index 8e6a9d0a6010cf5efee069a2d488124bcbdb54cd..e419d7810ae404e41a0a85080d16f4576d737d8a 100644 (file)
set push_urltype url
}
radiobutton $w.dest.url_r \
set push_urltype url
}
radiobutton $w.dest.url_r \
- -text [mc "Arbitrary URL:"] \
+ -text [mc "Arbitrary Location:"] \
-value url \
-variable push_urltype
entry $w.dest.url_t \
-value url \
-variable push_urltype
entry $w.dest.url_t \