<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
If that happens please make it configurable, otherwise i would have to
change editors.<br>
Majorinc, Kazimir wrote:
<blockquote cite="mid:474F9E2C.9040802@chem.pmf.hr" type="cite"><font
face="Courier New, Courier, monospace"><span style="font-size: 10pt;">One
simple, nevertheless very useful feature
of PLT is highlighting the parentheses, and not only parentheses but
also everything in between. It is much better. <br>
</span><br>
<span style="font-size: 10pt;">(==>/inner (in: (f
1926: a)</span><span
style="font-size: 10pt; font-family: "Courier New";"><br>
(g 1952: a))<br>
<span
style="background: silver none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(ariadnes-thread
(</span><span
style="background: silver none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
(list<br>
(1. 1958: a)<br>
(2. 1959: a)) <br>
(list<br>
(1. 1953: (& (~ a) a))<br>
(2. 1957: a))))</span><br>
(cond (in:
(gf-var? f))<br>
(cond (in: (gf-var? g))<br>
(cond/out: #t))<br>
(cond/out: #t))<br>
(==>/inner/out: #t))<o:p></o:p></span>
<br>
<br>
<span style="font-size: 10pt;"><o:p>However, can I propose that you
consider something like this:<br>
</o:p></span><br>
<span style="font-size: 10pt;">(==>/inner (in: (f
1926: a)</span><span
style="font-size: 10pt; font-family: "Courier New";"><br>
(g 1952: a))<br>
<span
style="background: silver none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(ariadnes-thread
</span><span
style="background: yellow none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(</span><span
style="background: yellow none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
</span><span
style="background: lime none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(list</span><span
style="background: lime none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
</span><span
style="background: red none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(1.
1958: a)</span><span
style="background: lime none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
</span><span
style="background: fuchsia none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(2.
1959: a)</span><span
style="background: lime none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">)</span><span
style="background: yellow none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">
</span><span
style="background: yellow none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
</span><span
style="background: aqua none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(list</span><span
style="background: aqua none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
</span><span
style="background: red none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(1.
1953: (&
(~ a) a))</span><span
style="background: aqua none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
</span><span
style="background: fuchsia none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(2.
1957: a)</span><span
style="background: aqua none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">)</span><span
style="background: yellow none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">)</span><span
style="background: silver none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">)</span><br>
(cond (in:
(gf-var? f))<br>
(cond (in: (gf-var? g))<br>
(cond/out: #t))<br>
(cond/out: #t))<br>
(==>/inner/out: #t))<o:p></o:p></span><br>
<br>
It could be easier to find parentheses on the wrong place. There is no
need
that users chose all these colours, any choice compatible with text
colour is OK.<br>
<br>
Thank you,<br>
Kazimir Majorinc<br>
<span style="font-size: 10pt; font-family: "Courier New";"><o:p></o:p></span></font>
<pre wrap="">
<hr size="4" width="90%">
_________________________________________________
For list-related administrative tasks:
<a class="moz-txt-link-freetext" href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a>
</pre>
</blockquote>
<br>
</body>
</html>