FYI, this case occurs mostly when JSLint is active. JSLint always calls `resizeEditor()`, which isn't necessary if the panel isn't actually showing or hiding. Rather than just try to fix it there, it seemed to me to make sense to just check in `resizeEditor()` if the height had changed, and avoid refreshing if we didn't need to. However, we always go ahead and apply the height (and refresh) if there's no explicit height yet, because I didn't feel comfortable changing the existing behavior in that case.