mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-28 02:00:34 +00:00
4c760f8634
After three slow preview requests, switch to showing a bar at the top of the preview area that contains a manual 'reload' button. The manual bar will be hidden when an error message is show, but re-shown again after the error is dismissed. Closing and re-opening the preview pane doesn't reset the manual mode. Bug: T304568 Change-Id: Ia72bd1ceab68fdaed5de53137bd8ac5961db4714
22 lines
386 B
Plaintext
22 lines
386 B
Plaintext
@import 'mediawiki.ui/variables';
|
|
|
|
.ext-WikiEditor-ManualWidget {
|
|
background-color: @colorGray14;
|
|
display: flex;
|
|
align-items: center;
|
|
justify-content: space-between;
|
|
border-color: @colorGray12;
|
|
border-width: 1px 0;
|
|
border-style: solid;
|
|
padding: 6px 24px;
|
|
|
|
& > .oo-ui-iconWidget {
|
|
margin-right: 1em;
|
|
}
|
|
|
|
.oo-ui-buttonWidget {
|
|
margin-left: auto;
|
|
font-weight: bolder;
|
|
}
|
|
}
|