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.

Sign up for GitHub

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

Jump to bottom

Rename and relocate Toggle Headers menu item #163

Closed
Stephen-Gates opened this issue Oct 29, 2017 · 0 comments
Closed

Rename and relocate Toggle Headers menu item #163

Stephen-Gates opened this issue Oct 29, 2017 · 0 comments
Labels
f:Feature-request This issue is a request for a new feature fn:Interface i:Enhancement priority:Medium
Milestone
v0.6.0

Comments

@Stephen-Gates
Copy link
Contributor

Desired Behaviour (for feature requests only)

  • Rename menu item to "Header Row"
  • Make menu item a checkbox menu item
  • Move menu time to the first item in Tools
@Stephen-Gates Stephen-Gates added f:Feature-request This issue is a request for a new feature i:Enhancement status:Requires-replication This issue needs replication and removed status:Requires-replication This issue needs replication labels Oct 29, 2017
@Stephen-Gates Stephen-Gates added this to the v0.5.0 milestone Nov 1, 2017
@Stephen-Gates Stephen-Gates modified the milestones: v0.5.0, v0.7.0 Nov 8, 2017
@Stephen-Gates Stephen-Gates modified the milestones: v0.7.0, v0.6.0 Nov 16, 2017
ghost pushed a commit that referenced this issue Nov 26, 2017
Fixes #163.
4e351ce
@ghost ghost closed this as completed Nov 26, 2017
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
f:Feature-request This issue is a request for a new feature fn:Interface i:Enhancement priority:Medium
Projects
None yet
Milestone
v0.6.0
Development

No branches or pull requests
1 participant
@Stephen-Gates