| .. |
|
manual
|
46bf6789d5
Changed: Renamed 'highlightDropdown' to 'highlight'.
|
7 years ago |
|
highlight.js
|
db90a90f57
Other: Update copyright year.
|
8 years ago |
|
highlightcommand.js
|
57319726fc
Tests: Made the #8 test more precise.
|
8 years ago |
|
highlightediting.js
|
c14f8d1c47
Tests: Fix tests after changes in downcast API.
|
7 years ago |
|
highlightui.js
|
74481a39ea
Internal: Updated lang/contexts.json.
|
7 years ago |
|
integration.js
|
aa5112634e
Changed: Renamed 'marker' option to 'yellowMarker'.
|
8 years ago |