Bug #60451 [Opn]: Problems with new themes

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: Open Type: Bug Package: Online Doc Editor problem PHP Version: Irrelevant Block user comment: N Private report: N New Comment: 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. Previous Comments: ------------------------------------------------------------------------ [2011-12-08 14:48:44] yannick@php.net Could you give an example for 2) & 3) ? It's works just fine for me ------------------------------------------------------------------------ [2011-12-08 14:47:14] yannick@php.net Automatic comment from SVN on behalf of yannick Revision: http://svn.php.net/viewvc/?view=revision&revision=320663 Log: Fix part of bug #60451 : we can now save the file with ctrl+s shortcut ------------------------------------------------------------------------ [2011-12-07 05:04:46] yannick@php.net Automatic comment from SVN on behalf of yannick Revision: http://svn.php.net/viewvc/?view=revision&revision=320556 Log: Fix part of bug #60451 : we can now save more than once a file ------------------------------------------------------------------------ [2011-12-06 11:52:13] seros@php.net Description: ------------ 1) Only can save a file once. When you modify a file and save it, then if modify again, the save button doesn't enable. And Ctrl+S doesn't work. 2) Re-indent doesn't work properly. 3) Can't select whole words with accents while double clicking. 4) Sometimes I note a delay when typewritting. ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=60451&edit=1