Bug #60451 [Asn->Csd]: Problems with new themes
| From: | yannick@php.net | Date: | Wed, 14 Dec 2011 20:13:07 +0000 |
| Subject: | Bug #60451 [Asn->Csd]: Problems with new themes | ||
| References: | 1 | Groups: | php.doc.bugs |
| Request: | Send a blank email to doc-bugs+get-7656@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=60451&edit=1
ID: 60451
Updated by: yannick@php.net
Reported by: seros@php.net
Summary: Problems with new themes
-Status: Assigned
+Status: Closed
Type: Bug
Package: Online Doc Editor problem
PHP Version: Irrelevant
Assigned To: yannick
Block user comment: N
Private report: N
New Comment:
This bug has been fixed in SVN, and should show up online in an
hour or three.
Thank you for the report, and for helping us make PHP.net better.
Previous Comments:
------------------------------------------------------------------------
[2011-12-14 20:12:46] yannick@php.net
Automatic comment from SVN on behalf of yannick
Revision: http://svn.php.net/viewvc/?view=revision&revision=321026
Log: Fix bug #60451 : now, re-ident will work as expected
------------------------------------------------------------------------
[2011-12-08 16:23:24] seros@php.net
E.g. of 2) (multiline contents)
<listitem>
<para>
This is a
line
another line
etc.
</para>
</listitem>
When re-indent, should result in (note lines 2 & 3 and the closed tag of para)
<listitem>
<para>
This is a
line
another line
etc.
</para>
</listitem>
but sometimes work, other not...
------------------------------------------------------------------------
[2011-12-08 15:52:49] yannick@php.net
Automatic comment from SVN on behalf of yannick
Revision: http://svn.php.net/viewvc/?view=revision&revision=320672
Log: Fix part of bug #60451 : we can now select a word with some accents by doubleclick on it
------------------------------------------------------------------------
[2011-12-08 15:01:26] yannick@php.net
Can you please provide me an example for 2) ?
Point 3) is actually a bug from codemirror. I just spot it to the main
developper. Wait for an answer.
Point 4), it's just because others tasks are done in the same time, like ping()
task, or because the hilighting isn't finish on a big file.
------------------------------------------------------------------------
[2011-12-08 14:48:44] yannick@php.net
Could you give an example for 2) & 3) ? It's works just fine for me
------------------------------------------------------------------------
The remainder of the comments for this report are too long. To view
the rest of the comments, please view the bug report online at
https://bugs.php.net/bug.php?id=60451
--
Edit this bug report at https://bugs.php.net/bug.php?id=60451&edit=1