Github user minahlee commented on the issue:
https://github.com/apache/zeppelin/pull/1013
@corneadoug Having separate menu for the anonymous user totally makes sense.
Then the next question would be where do we want to place it?
Next to Notebook? - will give less confusion who is used to current layout,
but there won't be big problem once they recognize it
On the right side of nav bar? - will take less space since it will use gear
icon instead of `Settings` text.
I have no special preference on setting menu location.
@corneadoug, @bzz, @Leemoonsoo what is your opinion here?
---
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.
---
