Commit cf807889991f35c7aea9fc7e587d3f6183d5a818

Authored by Edmar Moretti
1 parent f7e1374e

O valor digitado pelo usuário é agora multiplicado por 1000 para transformar em segundos

ferramentas/opcoes_autoredesenha/index.htm
@@ -8,7 +8,7 @@ @@ -8,7 +8,7 @@
8 <body> 8 <body>
9 <table class=lista3 width="100%"> 9 <table class=lista3 width="100%">
10 <tr> 10 <tr>
11 - <td>Tempo após o qual o mapa será redesenhado automaticamente:</td> 11 + <td>Tempo em segundos após o qual o mapa será redesenhado automaticamente:</td>
12 <td><input style="cursor:text" size=8 class=digitar type='text' id=t value='' /></td> 12 <td><input style="cursor:text" size=8 class=digitar type='text' id=t value='' /></td>
13 </tr> 13 </tr>
14 </table> 14 </table>
ferramentas/opcoes_autoredesenha/index.js
@@ -29,7 +29,7 @@ YAHOO.example.init = function () @@ -29,7 +29,7 @@ YAHOO.example.init = function ()
29 function executaf() 29 function executaf()
30 { 30 {
31 window.parent.autoRedesenho("desativa") 31 window.parent.autoRedesenho("desativa")
32 - window.parent.g_autoRedesenho = $i("t").value 32 + window.parent.g_autoRedesenho = $i("t").value * 1000
33 if (($i("t").value == 0) || ($i("t").value == "")) 33 if (($i("t").value == 0) || ($i("t").value == ""))
34 {window.parent.autoRedesenho("desativa")} 34 {window.parent.autoRedesenho("desativa")}
35 else 35 else