mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-14 19:31:55 +00:00
94d4912103
Add a 'reload' button to the right-side preview pane (that shows on hover, and stays in the same place when the preview is scrolled), and also an accesskey to trigger the preview. If the preview is not open when the accesskey is pressed, it'll be opened. Bug: T303532 Change-Id: Ifa77ad7cf6d2ed6a8b955f9a324986d1c6f9a993 |
||
---|---|---|
.. | ||
images | ||
insertlink | ||
realtimepreview | ||
templates | ||
.eslintrc.json | ||
ext.wikiEditor.js | ||
ext.wikiEditor.toolbar.styles.less | ||
jquery.wikiEditor.dialogs.config.js | ||
jquery.wikiEditor.dialogs.config.less | ||
jquery.wikiEditor.dialogs.js | ||
jquery.wikiEditor.dialogs.less | ||
jquery.wikiEditor.js | ||
jquery.wikiEditor.less | ||
jquery.wikiEditor.toolbar-apex.less | ||
jquery.wikiEditor.toolbar-wikimedia.less | ||
jquery.wikiEditor.toolbar.config.js | ||
jquery.wikiEditor.toolbar.js | ||
jquery.wikiEditor.toolbar.less |