wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-15 11:30:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeEd.../images
History
Derk-Jan Hartman aba51ef4f5 Additional CodeEditor buttons 
- toggle invisible characters.
- search and replace (disabled)
- indent/outdent
- line wrapping
- go to line

Icons by Connor Shea

Bug: T61923
Change-Id: I9e434d1b23f8254bc654ebbd31b5e4b70bbf5fe1
2015-05-26 01:43:47 +00:00
..
clear.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
editor-off.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
editor.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
gotoline.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
help.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
indent.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
markup-off.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
markup.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
outdent.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
search-replace.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
shortcuts.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
wrapping-off.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
wrapping.png Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00