[Bug 63294] Add status bar that shows amount of errors/warnings

https://bugzilla.wikimedia.org/show_bug.cgi?id=63294 Derk-Jan Hartman changed: What|Removed |Added Status|PATCH_TO_REVIEW |RESOLVED Resolution|---

[Bug 63294] Add status bar that shows amount of errors/warnings

https://bugzilla.wikimedia.org/show_bug.cgi?id=63294 --- Comment #3 from Gerrit Notification Bot --- Change 122601 merged by jenkins-bot: Add a status bar to the CodeEditor https://gerrit.wikimedia.org/r/122601 -- You are receiving this mail because: You are the assignee for the bug. You are o

[Bug 63294] Add status bar that shows amount of errors/warnings

https://bugzilla.wikimedia.org/show_bug.cgi?id=63294 --- Comment #2 from Gerrit Notification Bot --- Change 122601 had a related patch set uploaded by TheDJ: Add a status bar to the CodeEditor https://gerrit.wikimedia.org/r/122601 -- You are receiving this mail because: You are the assignee fo

[Bug 63294] Add status bar that shows amount of errors/warnings

https://bugzilla.wikimedia.org/show_bug.cgi?id=63294 Gerrit Notification Bot changed: What|Removed |Added Status|NEW |PATCH_TO_REVIEW -- You are

[Bug 63294] Add status bar that shows amount of errors/warnings

https://bugzilla.wikimedia.org/show_bug.cgi?id=63294 Andre Klapper changed: What|Removed |Added Priority|Unprioritized |Normal -- You are receiving this mail

[Bug 63294] Add status bar that shows amount of errors/warnings

https://bugzilla.wikimedia.org/show_bug.cgi?id=63294 --- Comment #1 from Derk-Jan Hartman --- Created attachment 14986 --> https://bugzilla.wikimedia.org/attachment.cgi?id=14986&action=edit Screenshot of new status bar -- You are receiving this mail because: You are the assignee for the bug.