Searched refs:EXPANDER_HEIGHT (Results 1 – 1 of 1) sorted by relevance
6 var EXPANDER_HEIGHT = 13; variable72 with (data.style) { height = (CLIP_HEIGHT - EXPANDER_HEIGHT) + "px";170 data.style.height = (newHeight - EXPANDER_HEIGHT) + "px";