Bug #60476 [Asn]: Code highlighting doesn't work any more.
| From: | yannick@php.net | Date: | Thu, 08 Dec 2011 18:44:16 +0000 |
| Subject: | Bug #60476 [Asn]: Code highlighting doesn't work any more. | ||
| References: | 1 | Groups: | php.doc.bugs |
| Request: | Send a blank email to doc-bugs+get-7633@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=60476&edit=1
ID: 60476
Updated by: yannick@php.net
Reported by: yago@php.net
Summary: Code highlighting doesn't work any more.
Status: Assigned
Type: Bug
Package: Online Doc Editor problem
PHP Version: Irrelevant
Assigned To: yannick
Block user comment: N
Private report: N
New Comment:
When you open a file, you have a new menu "Editor option", you have to select a
theme from this menu.
I have fix it already, but your config isn't uptodate.
Select the default theme and you will retrieve the "old" beaviours
Previous Comments:
------------------------------------------------------------------------
[2011-12-08 18:39:14] yago@php.net
If I go to for the first time to https://edit.php.net/ and I
login as anonymous
and I open a file I can see the XML file with highlighting colors for example: the
XML tags are green color and the text in blue color. But for 'existing accounts'
like my personal account or other user accounts (everyone that I talked so far) we
can't see the highlighting colors anymore: all the XML text looks black. I'm
guessing that something changed and you need to apply the change to the existing
users.
------------------------------------------------------------------------
[2011-12-08 18:25:25] yannick@php.net
Hi Yago,
Could you be more specific ? I'm not sure to understand all what you mean
------------------------------------------------------------------------
[2011-12-08 17:00:07] yago@php.net
Description:
------------
Hi Yannick,
in the default "theme" the code highlight it doesn't work anymore. It was really
useful to distinguish between text and XML. Can you add it back? You can also add
the feature to enable/disable this feature in the settings.
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=60476&edit=1