wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-26 19:56:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

* Fixed empty drop down not being the right size

Browse source 
* Added previews for formatting menu
This commit is contained in:
Trevor Parscal 2011-12-02 22:20:26 +00:00
parent f463a3a6bb
commit 667e145706
3 changed files with 35 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

33
modules/es/styles/es.ToolbarView.css
View file

@ -105,3 +105,36 @@
.es-toolbarDropdownTool-format {
width: 8em;
}
.es-menuView-item[rel="heading-1"] span {
font-size: 188%;
font-weight: normal;
}
.es-menuView-item[rel="heading-2"] span {
font-size: 150%;
font-weight: normal;
}
.es-menuView-item[rel="heading-3"] span {
font-size: 132%;
font-weight: bold;
}
.es-menuView-item[rel="heading-4"] span {
font-size: 116%;
font-weight: bold;
}
.es-menuView-item[rel="heading-5"] span {
font-size: 100%;
font-weight: bold;
}
.es-menuView-item[rel="heading-6"] span {
font-size: 80%;
font-weight: bold;
}
.es-menuView-item[rel="pre"] span {
font-family: monospace,"Courier New";
}

2
modules/es/tools/es.FormatDropdownTool.js
View file

@ -96,7 +96,7 @@ es.FormatDropdownTool.prototype.updateState = function( annotations, nodes ) {
}
if ( format === null ) {
this.$.text( '' );
this.$.html( ' ' );
} else {
var items = this.menuView.getItems();
for ( i = 0; i < items.length; i++ ) {

2
modules/es/views/es.MenuView.js
View file

@ -64,7 +64,7 @@ es.MenuView.prototype.addItem = function( item, before ) {
item.$ = $( '<div class="es-menuView-item"></div>' )
.attr( 'rel', item.name )
// TODO: i18n time!
.text( item.label );
.append( $( '<span></span>' ).text( item.label ) );
} else {
// No label, must be a break
item.$ = $( '<div class="es-menuView-break"></div>' )