[wp-trac] [WordPress Trac] #41888: Code Editor: Warning messages (was: Better Code Editing: Warning messages)

[WordPress Trac]

#41888: Code Editor: Warning messages
--------------------------+------------------
 Reporter:  paaljoachim   |       Owner:
     Type:  defect (bug)  |      Status:  new
 Priority:  normal        |   Milestone:  4.9
Component:  General       |     Version:
 Severity:  normal        |  Resolution:
 Keywords:                |     Focuses:  ui
--------------------------+------------------

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