wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update VE core submodule to master (fe2d908)

Browse source 
New changes:
fd433fa Add getter for toolbarDialogs in ve.ui.Surface
00c3eb7 Add 'done' button to find and replace dialog
3642dc8 Localisation updates from https://translatewiki.net.
fe2d908 Update OOjs UI to v0.6.0

Local changes to ve.ui.MWFormatTool.css for OOjs UI breaking change.

Change-Id: I6bf98ea988b3e1deb4824189ef8e6d59387b6ffc
This commit is contained in:
Bartosz Dziewoński 2014-12-14 19:46:30 +01:00 committed by James D. Forrester
parent 6532213ca4
commit 08654b4f60
3 changed files with 14 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/ve

@ -1 +1 @@
Subproject commit cb46d9859a4c7632186e3008ad627b2ab09e28e1
Subproject commit fe2d9089acb755483a6bd69bdf685b3356d29298

2
modules/ve-mw/tests/browser/features/support/pages/visual_editor_page.rb
View file

@ -86,7 +86,7 @@ class VisualEditorPage
checkbox(:minor_edit, id: 'wpMinoredit')
div(:no_unused_fields, text: 'No unused fields')
a(:new_link, class: 've-ce-linkAnnotation ve-ce-mwInternalLinkAnnotation new')
span(:options_categories, class: 'oo-ui-tool-title-text', text: 'Categories')
span(:options_categories, class: 'oo-ui-tool-title', text: 'Categories')
span(:options_in_hamburger, class: 'oo-ui-tool-title', text: 'Options')
span(:option_advanced_settings, class: 'oo-ui-tool-title', text: 'Advanced settings')
span(:option_page_settings, class: 'oo-ui-tool-title', text: 'Page settings')

24
modules/ve-mw/ui/themes/vector/ve.ui.MWFormatTool.css
View file

@ -5,25 +5,25 @@
* @license The MIT License (MIT); see LICENSE.txt
*/
.oo-ui-menuToolGroup .oo-ui-tool-name-heading1 .oo-ui-tool-title-text,
.oo-ui-menuToolGroup .oo-ui-tool-name-heading2 .oo-ui-tool-title-text {
.oo-ui-menuToolGroup .oo-ui-tool-name-heading1 .oo-ui-tool-title,
.oo-ui-menuToolGroup .oo-ui-tool-name-heading2 .oo-ui-tool-title {
font-family: 'Linux Libertine', Georgia, Times, serif;
}
.oo-ui-menuToolGroup .oo-ui-tool-name-heading1 .oo-ui-tool-title-text {
font-size: 180%;
.oo-ui-menuToolGroup .oo-ui-tool-name-heading1 .oo-ui-tool-title {
font-size: 144%; /* 0.8 * 180% */
}
.oo-ui-menuToolGroup .oo-ui-tool-name-heading2 .oo-ui-tool-title-text {
font-size: 150%;
.oo-ui-menuToolGroup .oo-ui-tool-name-heading2 .oo-ui-tool-title {
font-size: 120%; /* 0.8 * 150% */
}
.oo-ui-menuToolGroup .oo-ui-tool-name-heading3 .oo-ui-tool-title-text {
font-size: 117%;
.oo-ui-menuToolGroup .oo-ui-tool-name-heading3 .oo-ui-tool-title {
font-size: 94%; /* 0.8 * 117% */
}
.oo-ui-menuToolGroup .oo-ui-tool-name-heading4 .oo-ui-tool-title-text,
.oo-ui-menuToolGroup .oo-ui-tool-name-heading5 .oo-ui-tool-title-text,
.oo-ui-menuToolGroup .oo-ui-tool-name-heading6 .oo-ui-tool-title-text {
font-size: 100%;
.oo-ui-menuToolGroup .oo-ui-tool-name-heading4 .oo-ui-tool-title,
.oo-ui-menuToolGroup .oo-ui-tool-name-heading5 .oo-ui-tool-title,
.oo-ui-menuToolGroup .oo-ui-tool-name-heading6 .oo-ui-tool-title {
font-size: 80%; /* 0.8 * 100% */
}