Re: the online documentation editor
| From: | yannick | Date: | Wed, 24 Mar 2010 09:56:21 +0000 |
| Subject: | Re: the online documentation editor | ||
| References: | 1 2 3 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969381487@lists.php.net to get a copy of this message | ||
Le Mercredi 24 Mars 2010 06:23:52, Yago Ferrer a écrit :
> Hey Yannick,
Hi Yago,
> maybe you are already aware of this issue: I'm trying to save a file in the
> online editor and it doesn't do anything.
I have change the name of a config option. You have 2 solutions for this :
* Go to the configuration window (Main menu => configure), "Main" => "user
interface", and set the option for "on save file"
or
* Main menu => Erase my personnal data. This will login out you and when you
login in again, all default option will be set
I will fix this issue to force a value for this config option.
>
> Thank You!
Best,
Yannick