equal
deleted
inserted
replaced
349 if (NOKIA.helper.intervalId) |
349 if (NOKIA.helper.intervalId) |
350 clearInterval(NOKIA.helper.intervalId); |
350 clearInterval(NOKIA.helper.intervalId); |
351 |
351 |
352 NOKIA.helper.intervalId = setTimeout(function() { |
352 NOKIA.helper.intervalId = setTimeout(function() { |
353 NOKIA.menu.cancel(); |
353 NOKIA.menu.cancel(); |
354 }, 500); |
354 }, 10000); |
355 }); |
355 }); |
356 |
356 |
357 // Tabs |
357 // Tabs |
358 $('#tabs').tabs( { |
358 $('#tabs').tabs( { |
359 // select : function(event, ui){ |
359 // select : function(event, ui){ |