From 9658160fbc26750f69146c94a8b7fed08fe5a31c Mon Sep 17 00:00:00 2001 From: Edmar Moretti Date: Tue, 18 Dec 2007 20:19:51 +0000 Subject: [PATCH] correção no tamanho das guias do mapa quando o tamanho do mapa é alterado --- ferramentas/opcoes_tamanho/index.js | 12 ++++++++++++ 1 file changed, 12 insertions(+), 0 deletions(-) diff --git a/ferramentas/opcoes_tamanho/index.js b/ferramentas/opcoes_tamanho/index.js index 0049db2..b0d4b15 100644 --- a/ferramentas/opcoes_tamanho/index.js +++ b/ferramentas/opcoes_tamanho/index.js @@ -52,6 +52,18 @@ function executaf() doc.getElementById("mst").style.width = (l * 1) + calc + pos; doc.getElementById("contemImg").style.height= a+pos doc.getElementById("contemImg").style.width= l+pos + + for(var g=0;g<12;g++) + { + if (window.parent.document.getElementById("guia"+g)) + { + window.parent.document.getElementById("guia"+g+"obj").style.height = window.parent.objmapa.h; + } + } + + + + window.parent.calcposf() window.parent.objaguarde.abre("ajaxredesenha","Aguarde...") var p = g_locaplic+"/classesphp/mapa_controle.php?g_sid="+g_sid+"&funcao=mudatamanho&altura="+a+"&largura="+l -- libgit2 0.21.2