[GitHub] incubator-zeppelin pull request: Add filter to quickly search the ...

[minahlee]

Github user minahlee commented on the pull request:

    https://github.com/apache/incubator-zeppelin/pull/660#issuecomment-179429353
  
    Nice improvement!
    
    I have one suggestion for style.
    
    When user have long name of notebook, dropdown menu's width also changes:
    <img width="610" alt="screen shot 2016-02-03 at 11 26 49 am" 
src="https://cloud.githubusercontent.com/assets/8503346/12794267/19535d0c-ca69-11e5-9bfb-3ac181f1d386.png";>
    
    I think it will look better if you apply width:100% for filter input box. 
Also, can we add padding into this filter input box as below?
    <img width="618" alt="screen shot 2016-02-03 at 11 39 35 am" 
src="https://cloud.githubusercontent.com/assets/8503346/12794630/d8b3f1c4-ca6a-11e5-86cd-c273a844c235.png";>
    I applied padding: 0px 10px for #notebook-list>.filter-names



---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastruct...@apache.org or file a JIRA ticket
with INFRA.
---