Bug #60476 [Asn]: Code highlighting doesn't work any more.

From: 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

« previous php.doc.bugs (#7633) next »