[wp-trac] [WordPress Trac] #41887: Code Editor: Error disables the Update File button. (was: Better Code Editing: Error disables the Update File button.)

[WordPress Trac]

#41887: Code Editor: Error disables the Update File button.
-------------------------+------------------------
 Reporter:  paaljoachim  |       Owner:  melchoyce
     Type:  enhancement  |      Status:  assigned
 Priority:  normal       |   Milestone:  4.9
Component:  General      |     Version:
 Severity:  normal       |  Resolution:
 Keywords:  ux-feedback  |     Focuses:
-------------------------+------------------------

--
Ticket URL: <https://core.trac.wordpress.org/ticket/41887#comment:3>
WordPress Trac <https://core.trac.wordpress.org/>
WordPress publishing platform