I meant, wouldn’t it be better to fix text-field% itself, instead of only
some instances of it? Sorry if that was confusing.

On Sun, Sep 13, 2020 at 1:12 PM Sorawee Porncharoenwase <
[email protected]> wrote:

> 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/CADcuegtFzzeErTTqi3m9Hyr%2Bu1m8YEo0cnAEw2onhKXGnTzHOg%40mail.gmail.com.

Reply via email to