Github user r-kamath commented on the issue:

    https://github.com/apache/zeppelin/pull/2848
  
    @Savalek Thanks for this new feature. IMHO it will be nice to have an 
option to turn on/off the collaborative mode and a way to show the number of 
users collaborating.
    something like <img width="72" alt="users" 
src="https://user-images.githubusercontent.com/2031306/39687878-e8700a46-51ed-11e8-846a-842238b7d8d8.png";>
 with a proper tooltip. 



---

Reply via email to