use jQuery instead of getElementById

This commit is contained in:
Gwenhael Le Moine 2011-07-13 20:52:59 +02:00
parent 540e7d1c02
commit ec1a87eb06

View file

@ -91,7 +91,7 @@ function won_or_not( state ) {
} }
function display_on_canvas( state, canvas_elt ) { function display_on_canvas( state, canvas_elt ) {
var ctx= document.getElementById( canvas_elt ).getContext( '2d' ); var ctx= $( canvas_elt )[ 0 ].getContext( '2d' );
for ( var i=0 ; i < LEVEL_HEIGHT ; i++ ) { for ( var i=0 ; i < LEVEL_HEIGHT ; i++ ) {
for ( var j=0 ; j < LEVEL_WIDTH ; j++ ) { for ( var j=0 ; j < LEVEL_WIDTH ; j++ ) {
var c = get_cell( state, j, i ); var c = get_cell( state, j, i );
@ -130,7 +130,7 @@ function format_help( ) {
function display_level( state, elt ) { function display_level( state, elt ) {
$( elt + " .gstar #infos" ).html( format_infos( state ) ); $( elt + " .gstar #infos" ).html( format_infos( state ) );
display_on_canvas( state, "starboard" ); display_on_canvas( state, elt + " #starboard" );
} }
function load_level( levelset, nb ) { function load_level( levelset, nb ) {