[GitHub] zeppelin issue #3113: [ZEPPELIN-3616] fix editor sections auto-collapse

2018-11-08 Thread prabhjyotsingh 
Github user prabhjyotsingh commented on the issue:

https://github.com/apache/zeppelin/pull/3113
  
Will merge this, if no more discussion.


---

[GitHub] zeppelin issue #3113: [ZEPPELIN-3616] fix editor sections auto-collapse

2018-11-08 Thread Savalek 
Github user Savalek commented on the issue:

https://github.com/apache/zeppelin/pull/3113
  
What about merge?


---

[GitHub] zeppelin issue #3113: [ZEPPELIN-3616] fix editor sections auto-collapse

2018-11-08 Thread Tagar 
Github user Tagar commented on the issue:

https://github.com/apache/zeppelin/pull/3113
  
cc @zjffdu @Leemoonsoo @prabhjyotsingh can you please merge this? 

Thank you.


---

[GitHub] zeppelin issue #3113: [ZEPPELIN-3616] fix editor sections auto-collapse

2018-10-10 Thread prabhjyotsingh 
Github user prabhjyotsingh commented on the issue:

https://github.com/apache/zeppelin/pull/3113
  
Apart from minor comment, rest LGTM


---

[GitHub] zeppelin issue #3113: [ZEPPELIN-3616] fix editor sections auto-collapse

2018-09-17 Thread zjffdu 
Github user zjffdu commented on the issue:

https://github.com/apache/zeppelin/pull/3113
  
ping @prabhjyotsingh @r-kamath 


---