witten
/
luminotes
Archived
1
0
Fork 0
Code Releases Activity

Fixed broken font selection in IE. Now using a button tag instead of a <label> to make IE happy.

This commit is contained in:
Dan Helfman 2008-12-26 19:32:12 -08:00
parent d61b6f16ea
commit 4d7b08ef32
2 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
static/css/style.css
View File

@ -597,8 +597,16 @@ h1 {
text-decoration: none;
}
.font_label {
.font_label_button {
font-size: 125%;
border-style: outset;
border-width: 0px;
text-align: left;
background-color: #ffff99;
outline: none;
cursor: pointer;
padding: 0;
margin: 0;
}
.pulldown_label:hover {

6
static/js/Wiki.js
View File

@ -4267,9 +4267,9 @@ function Font_pulldown( wiki, notebook_id, invoker, anchor, editor ) {
var font_name = font[ 0 ];
var font_family = font[ 1 ];
var label = createDOM( "label", { "class": "pulldown_label font_label", "style": "font-family: " + font_family + ";" },
font_name
);
// using a button here instead of a <label> to make IE happy: when a <label> is used, clicking
// on the label steals focus from the editor iframe and prevents the font from being changed
var label = createDOM( "input", { "type": "button", "value": font_name, "class": "pulldown_label font_label_button", "style": "font-family: " + font_family + ";" } );
var selected_mark_char = document.createTextNode( "\u25cf" );
if ( current_font_family && font_family.search( current_font_family ) == 0 ) {