Ashesh Vashi 085ce50545 Refresh the SQL control, whenever necessary. ...

Also, remove the CodeMirror object for better clean up process.

When a SQL control/tab is rendered in a hidden element, it does not
render really well. Because - it rely on the height, and width of the
container to count the gutten position, and margin, and other elements.

Hence - whenever the tab, panel becomes visible, we will refresh the
control.

2016-04-22 15:29:23 +05:30

..

js

Refresh the SQL control, whenever necessary.

2016-04-22 15:29:23 +05:30