61608 - View Source not color coded

Status: VERIFIED DUPLICATE of bug 52154

(SeaMonkey :: UI Design, defect, P3)

Description

[Tim Powell]

Using Mozilla/5.0 (Windows; U; WinNT4.0; en-US; m18) Gecko/20001127.

In earlier versions of Mozilla (M17 for certain), view page source had color
coding for HTML tags. It's gone now. I'm assuming this is accidental? The color
coding was very helpful. It seemed to work fine, so I can't see why it'd be removed.

Comment 1

[Jacob Steenhagen]

*** This bug has been marked as a duplicate of 52154 ***

Comment 2

[Jesse Ruderman]

View-source coloring was turned off because of performance problems with 
displaying the generated colored html.  Bug 52154 should turn it into a pref 
(off by default until the performance problems are worked out).

Comment 3

[Jacob Steenhagen]

The addition of:
user_pref("browser.view_source.syntax_highlight",true)
to prefs.js will turn color coding on.

Comment 4

[Jesse Ruderman]

Jake: does that mean bug 52154 was fixed?

Comment 5

[Jacob Steenhagen]

Half-way... bug 52154 is a two parter.
 1. Create a pref (instead of a compile option)
 2. Put that pref into the GUI.

Setup one has been completed, but it's not in the Prefs dialog yet, so the only
way to activate it is to edit prefs.js.

There are still preformance issues (I don't have a bug #).

Comment 6

[Tim Powell]

This doesn't seem to be a duplicate to me. I'm not asking for a pref. I'm 
asking for it to be turned on. It should be on by default since this was the 
behavior of 4.x. Performance issues should be resolved and then no pref should 
be added to the UI.

However, thanks for the information Jake. It looks much better with the pref 
enabled. :-)

Comment 7

[sairuh (rarely reading bugmail)]

vrfy dup.