Re: bug(?) in black3 and Guido Gonzato's updates

["John E. Davis" <davis@xxxxxxxxxxxxx>]

Jörg Sommer <joerg@xxxxxxxxxxxx> wrote:
> while using the new version I've observed that the color of keyword of
> the color scheme black3 changed. Before the SVN commit for the changes
> 197-199 the color was green, since these changes the color is read.
> Was this an intended change? I don't worry about the color. I only
> mention it, because it might be a side effect of this commit.

That is odd--- I do not see that in the diffs:

--- a/lib/colors/black3.sl
+++ b/lib/colors/black3.sl
@@ -34,6 +34,7 @@ set_color("url", "brightgreen", $2);
 set_color("italic", $1, $2);
 set_color("underline", "green", $2);
 set_color("bold", "brightred", $2);
+set_color("html", "brightred", $2);
 set_color("keyword2", $1, $2);
 set_color("keyword3", $1, $2);
 set_color("keyword4", $1, $2);

> I've found at the web site of Guido Gonzato [1] changes of some modes.
> I don't know if they are correct or good, because I don't use any of
> these modes. But I want to bring these changes to your attention,
> maybe they are useful.

Many of the diffs are a result of integration into jed.  Particularly
the change from static declarations to private ones.

[...]
> ide mode 1.3.4 from Guido Gonzato

The only difference here is that he dropped a menu-separator in 1.3.4.
I will also add this change.

> Update of matlab.sl from Guido Gonzato
>
> The file http://guido.gonzato.googlepages.com/matlab.sl contains a small
> change of the file. Except the more worse readability of the expression
> the result is different, because the decrement happens *after*
> insert_spaces(). So, one more space is inserted than before.

I disagree with the comment.  In fact, in slang there is no difference
between

   insert_spaces (goal--, goal);

and

   goal--;
   insert_spaces (goal);

I believe I made this change when integrating matlab.sl into jed
because, as you point out, it is more readable.

Thanks,
--John

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.