199200201202203204205206207208209
if (("show".equals(val) && !hidden) || ("hide").equals(val) && hidden) { return null; } if (hidden) { g.show(); } // If key starts with $ we animate node attributes, otherwise css properties double cur; String rkey = null;
712713714715716717718719720721722
this.visible = visible; if (isSupported()) { GQuery chosenElement = getChosenElement(); if (visible) { chosenElement.show(); } else { chosenElement.hide(); } } else { super.setVisible(visible);
471472473474475476477478479480481