Menu
▾
▴
Re: [ jEdit-devel ] utf-8 or java escaping - displaytokenhandler
|
From: Jarek C. <jar...@po...> - 2012-05-04 11:58:41
|
<html>
<head>
<meta content="text/html; charset=ISO-8859-2"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Matthieu, you mixed 2 characters in your example: \u2019 and \u0027.
No-one uses \u2019 in the cases you pointed. From the other side
no-one wants to substitute standard apostrophe ' with \u0027
notation. The discussion is about line 637 in DisplayTokenHandler.<br>
<a class="moz-txt-link-freetext" href="http://jedit.svn.sourceforge.net/viewvc/jedit/jEdit/trunk/org/gjt/sp/jedit/syntax/DisplayTokenHandler.java?revision=21624&view=markup">http://jedit.svn.sourceforge.net/viewvc/jedit/jEdit/trunk/org/gjt/sp/jedit/syntax/DisplayTokenHandler.java?revision=21624&view=markup</a><br>
<br>
Jarek<br>
<br>
W dniu 2012-05-04 10:23, Matthieu Casanova pisze:
<blockquote
cite="mid:CAP...@ma..."
type="cite">I don't agree about the fact that ' is hard to
recognize. When you see the quote in the code like
<div>char c = 'a';</div>
<div><br>
</div>
<div>it is not hard to read isn't it ?</div>
<div>if you have </div>
<div><br>
</div>
<div>String s = "hello 'world'";</div>
<div><br>
</div>
<div>you find that it is easier to read that ?</div>
<div><br>
</div>
<div>String s = "hello \u2019world\u2019"; </div>
<div><br>
</div>
<div>I completely disagree, I have to read carrefully to fin the
word "world" in the middle of this crap.</div>
<div><br>
</div>
<div>If sometimes you have a special char that may not be
displayable everywhere, of course escaping it is a good idea,
but not everywhere.</div>
</blockquote>
<blockquote
cite="mid:CAP...@ma..."
type="cite">
<div>
<div><br>
<div class="gmail_quote">2012/5/3 Jarek Czekalski <span
dir="ltr"><<a moz-do-not-send="true"
href="mailto:jar...@po..." target="_blank">jar...@po...</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF"> 1. ’ is hard to
recognize. Is it standard &quote; or something else?
How do you tell it? When I see \u2019 I know it is a
rare character. That's enough at first glance.<br>
2. Some unicode chars may be undisplayable on
developer's screen (no specific fonts installed). Then
they are not readable at all.<br>
<br>
That's about readability. When it comes to portability
all advantages are on the side of escapes.<br>
<br>
Jarek<br>
<br>
W dniu 05/02/2012 10:16 AM, Matthieu Casanova pisze:
<div>
<div class="h5">
<blockquote type="cite">You really think that
'\u2019' is easier to read than '’' ?
<div>Do you know all escape codes ? I don't, if I
see \u2019 I will have to search what character
it is so about readability I don't agree.</div>
<div>the only benefit I see to use those escape
codes is that there is less risk to break some
chars by saving with a wrong encoding.</div>
<div><br>
</div>
<div><br>
<br>
<div class="gmail_quote">2012/5/1 Jarek
Czekalski <span dir="ltr"><<a
moz-do-not-send="true"
href="mailto:jar...@po..."
target="_blank">jar...@po...</a>></span><br>
<blockquote class="gmail_quote"
style="margin:0 0 0 .8ex;border-left:1px
#ccc solid;padding-left:1ex"> W dniu
05/01/2012 02:36 PM, Kazutoshi Satoda pisze:<br>
<div>> Jarek Czekalski wrote:<br>
>> Kazutoshi, I think it would be
more portable and even more readable if<br>
>> all the special chars you have to
put in the source file would be<br>
>> escaped with java style \u .
Currently you insert it using utf-8<br>
>> encoding.<br>
>><br>
>> What's your opinion?<br>
><br>
> If you are talking about project wide
coding convention, I disagree.<br>
> For example, Vampire and other people
should be able to put his name<br>
> with umlauts in the source code.<br>
><br>
> If you are talking about some string
and character literals I put in<br>
> DisplayTokenHandler, I agree that
escaped representation may improve<br>
> readability. Especially '\u2019' is
likely more readable than '’'. But<br>
> it seems hardly enough reason to
define a project wide restriction.<br>
><br>
</div>
People's names may always be written using
plain ascii, with only<br>
oldschool latin letters. My full name is
Jarosław, but I would rather<br>
write Jaroslaw than force the project files
to be non-ascii.<br>
<br>
Anyway I was thinking only about character
literals and here we agree. I<br>
don't feel the need to set a project wide
coding convention regarding<br>
character sets.<br>
<span><font color="#888888"><br>
Jarek<br>
</font></span>
<div>
<div><br>
------------------------------------------------------------------------------<br>
Live Security Virtual Conference<br>
Exclusive live event will cover all the
ways today's security and<br>
threat landscape has changed and how IT
managers can respond. Discussions<br>
will include endpoint security, mobile
security and the latest in malware<br>
threats. <a moz-do-not-send="true"
href="http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/"
target="_blank">http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/</a><br>
--<br>
-----------------------------------------------<br>
jEdit Developers' List<br>
<a moz-do-not-send="true"
href="mailto:jEd...@li..."
target="_blank">jEd...@li...</a><br>
<a moz-do-not-send="true"
href="https://lists.sourceforge.net/lists/listinfo/jedit-devel"
target="_blank">https://lists.sourceforge.net/lists/listinfo/jedit-devel</a><br>
</div>
</div>
</blockquote>
</div>
<br>
</div>
</blockquote>
<br>
</div>
</div>
</div>
</blockquote>
</div>
<br>
</div>
</div>
</blockquote>
</body>
</html>
|