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 <[email protected]> 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 [email protected] <[email protected]> > 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 [email protected] >> 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 [email protected]. >> 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 [email protected]. > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CADcuegsQOyPfir8M1GZ5VsSm_9JvCwQeLXhW3X8F78cPVOmLHQ%40mail.gmail.com.
