mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-28 02:00:34 +00:00
b49e0a9d6c
Set both drag element lengths to 52px (@affordance-length) Set the margin on (.ext-WikiEditor-ResizingDragBar span) to 2px Set (.ext-WikiEditor-ResizingDragBar-ew) background-color to @colorGray15 (i.e. #F8F9FA) Remove legacy comment. Bug: T307105 Change-Id: If0087398920c7ad92e5a2cd1ee5c178644f8d95b |
||
---|---|---|
.. | ||
error.svg | ||
ErrorLayout.js | ||
ErrorLayout.less | ||
init.js | ||
ManualWidget.js | ||
ManualWidget.less | ||
monobook.less | ||
RealtimePreview.js | ||
RealtimePreview.less | ||
ResizingDragBar.js | ||
ResizingDragBar.less | ||
TwoPaneLayout.js | ||
TwoPaneLayout.less |