mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-15 03:35:58 +00:00
411be83bc3
* Toolbar button to toggle a two-pane layout on and off. * Resizable bar for the width of the two panes. * Resizable bar for the edit box height, even when realtime preview is off. * Only enabled when $wgWikiEditorRealtimePreview = true. * Fires JS hooks when enabled, resized, and disabled. Bug: T293347 Change-Id: Id09d44519249c0b7f5c33d48d524b7c92a5a9106
20 lines
397 B
Plaintext
20 lines
397 B
Plaintext
@import 'mediawiki.ui/variables.less';
|
|
|
|
/* stylelint-disable selector-max-id */
|
|
#wpTextbox1,
|
|
.mw-editform #wpTextbox1 {
|
|
// stylelint-disable-next-line plugin/no-unsupported-browser-features
|
|
resize: none;
|
|
height: 100%;
|
|
min-height: auto;
|
|
max-height: none;
|
|
}
|
|
|
|
.wikiEditor-ui .wikiEditor-ui-view {
|
|
border-bottom: 0;
|
|
}
|
|
|
|
.ext-WikiEditor-ResizingDragBar-ns {
|
|
border-top: 1px solid @colorGray12;
|
|
}
|