I just worry about backwards compatibility. There are probably places that already do something about this problem woutside of the control-- how will they interact?
Maybe if someone were to audit existing code on the pkg server then we would know that changing the behavior in a certain way would work out. Robby On Tue, Sep 15, 2020 at 12:46 AM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > Can you explain why you are not sure? Under what circumstances do you > think the current 'single style behavior is useful? > > We can add 'single-no-return (though I dislike it because 'single means no > return already!) and change existing places that use 'single. However, > without switching the default style from 'single to 'single-no-return, > people will make mistakes again in the future. But if we will change the > default style to 'single-no-return too, why don't we simply directly change > the behavior 'single? > > On Sun, Sep 13, 2020 at 1:36 PM Robby Findler <ro...@cs.northwestern.edu> > wrote: > >> I'm not sure. I would probably add a 'single-no-return style and then >> grep the codebase for places that use 'single and change them (as >> appropriate). >> >> Robby >> >> >> On Sun, Sep 13, 2020 at 3:15 PM Sorawee Porncharoenwase < >> sorawee.pw...@gmail.com> wrote: >> >>> 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 < >>> sorawee.pw...@gmail.com> 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 < >>>> 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/CADcuegtFzzeErTTqi3m9Hyr%2Bu1m8YEo0cnAEw2onhKXGnTzHOg%40mail.gmail.com >>> <https://groups.google.com/d/msgid/racket-users/CADcuegtFzzeErTTqi3m9Hyr%2Bu1m8YEo0cnAEw2onhKXGnTzHOg%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/CADcuegsBYxxQJgjSz9ohS6fiRHaOXiO_Bx%3D_JoiiAvTQMHWH6A%40mail.gmail.com > <https://groups.google.com/d/msgid/racket-users/CADcuegsBYxxQJgjSz9ohS6fiRHaOXiO_Bx%3D_JoiiAvTQMHWH6A%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/CAL3TdOPWAYLZFz%3DNcRm-veqLX-mpVp39B8umSmkcy0yQnLN1pQ%40mail.gmail.com.
