https://bugzilla.wikimedia.org/show_bug.cgi?id=63294
Bug ID: 63294
Summary: Add status bar that shows amount of errors/warnings
Product: MediaWiki extensions
Version: master
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: Unprioritized
Component: CodeEditor
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Web browser: ---
Mobile Platform: ---
The worker is nice, but with the errors/warnings in the gutter, it can be
difficult to notice if they are not in the currently visible fragment.
Might be nice to add a status bar that shows, number of errors, warnings, line
number and the message of the last added warning/error.
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
