On Thu, Apr 12, 2012 at 5:26 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Yes, normalization doesn't deal with those spaces. It does change the
text in ways that are unfriendly and I often tell DrRacket no when
it asks about normalization. I just wanted to put that into the mix
for
An hour ago, Danny Yoo wrote:
On Thu, Apr 12, 2012 at 5:26 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Yes, normalization doesn't deal with those spaces. It does change
the text in ways that are unfriendly and I often tell DrRacket
no when it asks about normalization. I just
I think this is the kind of mixin that belongs in the framework and, if you
don't want it, you don't mix it in.
The preferences dialog additions could be DrRacket-specific, tho.
Also, option 2 should probably have a button in the dialog that adjusts the
preference to one of the two silent modes.
On Wed, Apr 11, 2012 at 8:16 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Thanks for looking into this!
How about just changing the way nbsp-space-mixin so that it just does
both jobs (perhaps with overridable methods or settable fields that
provide finer-grained control)?
As for
Just to note: I did the following git command to trace it:
$ git log -S'nbsp-space' --all
Ah ha! Here's the thread on plt-internal which motivated the change:
http://lists.racket-lang.org/plt-internal/private/2007-March/011601.html
As I understand it, the reason for removal was
A few minutes ago, Danny Yoo wrote:
I want the behavior of the auto-translator to notify the text has
changed, so that if the user opens a file in DrRacket with the zero
width space, they can Save the file:
So, this happens on any editing? What if I want to have those
strings?
Also, I
On Thu, Apr 12, 2012 at 3:26 PM, Eli Barzilay e...@barzilay.org wrote:
A few minutes ago, Danny Yoo wrote:
I want the behavior of the auto-translator to notify the text has
changed, so that if the user opens a file in DrRacket with the zero
width space, they can Save the file:
So, this
An hour ago, Danny Yoo wrote:
In all three scenarios, I can see that it's possible the user really
does want to leave zero-width characters unmolested.
There's an easier scenario to confirm this: pasting/typing some text
strings. The frustration that you'd have when you just can't type
20 minutes ago, Robby Findler wrote:
I'm not sure of the right answer, but there is also a notion of
normalization of unicode characters that probably fits into whatever
solution you come up with here (ie the thing DrRacket is doing for
normalization probably applies to what you're thinking
Yes, normalization doesn't deal with those spaces. It does change the
text in ways that are unfriendly and I often tell DrRacket no when
it asks about normalization. I just wanted to put that into the mix
for this conversation, since it is a place that has to deal with
similar issues.
Robby
On
10 matches
Mail list logo