Re: [racket-dev] pr 12683 and using something like text:nbsp-space?

2012-04-19 Thread Danny Yoo
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

Re: [racket-dev] pr 12683 and using something like text:nbsp-space?

2012-04-19 Thread Eli Barzilay
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

Re: [racket-dev] pr 12683 and using something like text:nbsp-space?

2012-04-19 Thread Robby Findler
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.

Re: [racket-dev] pr 12683 and using something like text:nbsp-space?

2012-04-12 Thread Danny Yoo
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

Re: [racket-dev] pr 12683 and using something like text:nbsp-space?

2012-04-12 Thread Danny Yoo
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

Re: [racket-dev] pr 12683 and using something like text:nbsp-space?

2012-04-12 Thread Danny Yoo
However, from earlier on the thread, it's clear that zero-width space doesn't play by the same rules, so re-instituting the solution from nbsp-space for DrRacket might be the right thing to do. Followup: here's what I've got:

Re: [racket-dev] pr 12683 and using something like text:nbsp-space?

2012-04-12 Thread Eli Barzilay
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

Re: [racket-dev] pr 12683 and using something like text:nbsp-space?

2012-04-12 Thread Danny Yoo
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

Re: [racket-dev] pr 12683 and using something like text:nbsp-space?

2012-04-12 Thread Eli Barzilay
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

Re: [racket-dev] pr 12683 and using something like text:nbsp-space?

2012-04-12 Thread Eli Barzilay
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

Re: [racket-dev] pr 12683 and using something like text:nbsp-space?

2012-04-12 Thread Robby Findler
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

[racket-dev] pr 12683 and using something like text:nbsp-space?

2012-04-11 Thread Danny Yoo
I'm trying to prepare a patch to fix pr 12683 (zero-width space). Currently, I've got: https://github.com/dyoo/racket/commit/ed6570d482acada2027988903c11e08ffac03e3c However, at this point, I get stuck, because I have no idea where to mix-in this into the DrRacket text% instance. I did