https://bugzilla.wikimedia.org/show_bug.cgi?id=59924
Web browser: ---
Bug ID: 59924
Summary: Add additional CodeEditor toolbar buttons
Product: MediaWiki extensions
Version: master
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: Unprioritized
Component: CodeEditor
Assignee: wikibugs-l@lists.wikimedia.org
Reporter: hartman.w...@gmail.com
CC: br...@wikimedia.org
Classification: Unclassified
Mobile Platform: ---
Just some ideas:
- Enable soft wrapping of lines
- Disable syntax checking/linting
- Disable gutter/linenumbers
- Select editor skin
- Edit snippets
I think we should be conservative in adding options though. I'd appreciate to
hear from people as to what they think is important
--
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
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
