Should the fix apply to all 'single styled text-field% <https://docs.racket-lang.org/gui/text-field_.html> too?
On Sun, Sep 13, 2020 at 7:50 AM Robby Findler <ro...@cs.northwestern.edu> wrote: > Yea, I agree. I'd made that change locally but hadn't pushed because I > couldn't make the bad behavior happen reliably. Perhaps that lack shouldn't > stop us! Pushed now. > > Robby > > > On Sat, Sep 12, 2020 at 11:15 PM jackh...@gmail.com <jackhfi...@gmail.com> > wrote: > >> Could we make the "do what I mean" box just automatically strip any >> newlines pasted into it? It seems sensible to me to require that it only be >> a single line input. >> >> On Friday, September 11, 2020 at 6:22:59 AM UTC-7 hen...@topoi.pooq.com >> wrote: >> >>> On Thu, Sep 10, 2020 at 10:27:39AM -0400, George Neuner wrote: >>> > >>> > >>> > On 9/10/2020 10:06 AM, Philip McGrath wrote: >>> > > Also, this is happening over encrypted HTTPS: no one is sniffing the >>> > > User-Agent header. >>> > >>> > While it may not be the issue here, you need to understand that >>> appliance >>> > firewalls CAN and routinely DO examine data inside encrypted >>> connections. >>> >>> Using man-in-the-middle attacks? >>> >>> -- hendrik >>> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to racket-users+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-users/84b16cf0-7837-4d54-9423-c1286f5e2b7an%40googlegroups.com >> <https://groups.google.com/d/msgid/racket-users/84b16cf0-7837-4d54-9423-c1286f5e2b7an%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/CAL3TdON46%3DPR6_-iyppSMLsfEvNEveq3uGu64gQ3Lu1or7QgNw%40mail.gmail.com > <https://groups.google.com/d/msgid/racket-users/CAL3TdON46%3DPR6_-iyppSMLsfEvNEveq3uGu64gQ3Lu1or7QgNw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CADcuegsQOyPfir8M1GZ5VsSm_9JvCwQeLXhW3X8F78cPVOmLHQ%40mail.gmail.com.
