Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[dev.icinga.com #6631] Hide menu #820

Closed
icinga-migration opened this issue Jul 4, 2014 · 5 comments
Closed

[dev.icinga.com #6631] Hide menu #820

icinga-migration opened this issue Jul 4, 2014 · 5 comments
Labels
area/ui Affects the user interface enhancement New feature or improvement wontfix Deprecated, not supported or not worth any effort

Comments

@icinga-migration
Copy link

This issue has been migrated from Redmine: https://dev.icinga.com/issues/6631

Created by gbeutner on 2014-07-04 07:45:09 +00:00

Assignee: (none)
Status: New
Target Version: (none)
Last Update: 2015-08-31 09:11:36 +00:00 (in Redmine)


Users should be able to hide the menu. Ideally the menu should be hidden by default for the documentation module.

Additionally users should optionally be able to hide the documentation TOC in a similar way.


Parent Task: #5543

Relations:

@icinga-migration
Copy link
Author

Updated by gbeutner on 2014-07-04 07:58:54 +00:00

See docs.python.org for an example of how this should work.

@icinga-migration
Copy link
Author

Updated by elippmann on 2015-03-31 08:16:49 +00:00

  • Subject changed from Support for hiding the menu to Hide menu
  • Category changed from Documentation to UI
  • Target Version set to 2.0.0-rc1

@icinga-migration
Copy link
Author

Updated by jmeyer on 2015-06-11 07:50:53 +00:00

  • Target Version changed from 2.0.0-rc1 to 261

@icinga-migration
Copy link
Author

Updated by elippmann on 2015-07-17 09:47:59 +00:00

  • Target Version changed from 261 to 2.0.0

@icinga-migration
Copy link
Author

Updated by elippmann on 2015-08-31 09:11:36 +00:00

  • Target Version deleted 2.0.0
  • Parent Id set to 5543

@icinga-migration icinga-migration added enhancement New feature or improvement area/ui Affects the user interface labels Jan 17, 2017
@lippserd lippserd added the wontfix Deprecated, not supported or not worth any effort label Jul 5, 2017
@lippserd lippserd closed this as completed Jul 5, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/ui Affects the user interface enhancement New feature or improvement wontfix Deprecated, not supported or not worth any effort
Projects
None yet
Development

No branches or pull requests

2 participants