MediaWiki:Common.js: Difference between revisions
Eran Hodis (talk | contribs) No edit summary |
Eran Hodis (talk | contribs) No edit summary |
||
| Line 202: | Line 202: | ||
var Buttons = Table.getElementsByTagName( "input" ) ; | var Buttons = Table.getElementsByTagName( "input" ) ; | ||
for (var i = 0; i < Buttons.length; i++) { | for (var i = 0; i < Buttons.length; i++) { | ||
Buttons[i].value = Buttons[i].value.replace(/[ ]/,"[x]"); | |||
} | } | ||
fromJmol = jmolGetPropertyAsArray("fileName","all"); | fromJmol = jmolGetPropertyAsArray("fileName","all"); | ||