jed-users mailing list

[2008 Date Index] [2008 Thread Index] [Other years]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]

Re: HTML syntax highlighting - again


On Wed, 17 Dec 2008, G. Milde wrote:

> On 16.12.08, Duke wrote:
> > On Mon, 15 Dec 2008, G. Milde wrote:
> > > On 13.12.08, Duke wrote:
>
> > > > In particular, I'm trying to change the "string" color, w/o any success.
> > >
> > > 1st. test: Do you get a different string colour, if you change the color
> > >      	   setting with Windows>Colors Schemes>xxx?
>
> > No! The string color is the same as the entire line.
>
> Pleas post a *minimal* example of what you do exactly (colour setting
> command and html code that shall be affected).

In /opt/local/share/jed/lib/color/black3.sl

set_color("string", "magenta", $2);    % "string" or 'char'
set_color("keyword", "cyan", $2); % if, while, unsigned, ...
set_color("keyword1", "red", $2);    % malloc, exit, etc...

From one of the HTML files I'm currently working on:

<h2
style="color:#000000;background-color:pink;text-align:center;">Mumps
Tutorial - II</h2>

The above line is entirely in cyan.

>
> > > 2nd: Do you select a colour scheme in you .jedrc?
> > No! I commented the line out. I now select it in ../etc/jed.conf
>
> > > If the answer is yes, no, DO select a colour scheme before the colour
> > > configuration. (Otherwise, loading the fallback scheme (after evaluation
> > > of your .jedrc) will overwrite it.)
>
> > I don't quite understand. I'm choosing black3.sl in ../etc/jed.conf.
> > I'm editing ../jed/lib/color/black3.sl. Is that wrong?
>
> It is generally not recommended to edit the standard library files, as this
> way your changes will be overwritten with the next update of Jed.
>
> This is why I assumed you configure the colours in your .jedrc (or jed.conf
> if it shall be site-wide). Then you must choose a color scheme to make the
> changes seen.
>
> Günter

So step-by-step - how should I be customizing the HTML colors using
HTML2.sl from our famous Guido friend?

First I want to setup the general Jed menu colors and normal text color.
Then I want to setup particular mode colors - HTML mode; mail mode etc.
-- 
Duke Normandin
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
A: Top-posting.
Q: What is the most annoying thing in e-mail?

[2008 date index] [2008 thread index]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]