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

Table-mode: Move selector position #1743

Closed
foot opened this issue Aug 2, 2016 · 1 comment
Closed

Table-mode: Move selector position #1743

foot opened this issue Aug 2, 2016 · 1 comment
Assignees
@davkal
Labels
chore Related to fix/refinement/improvement of end user or new/existing developer functionality component/ui Predominantly a front-end issue; most/all of the work can be completed by a f/e developer
Milestone
0.17.0

Comments

@foot
Copy link
Contributor

foot commented Aug 2, 2016

Probably up to the top w/ search and topologies.
@foot foot added the component/ui Predominantly a front-end issue; most/all of the work can be completed by a f/e developer label Aug 2, 2016
@foot foot mentioned this issue Aug 2, 2016
Merged
20 tasks
@rade rade added the chore Related to fix/refinement/improvement of end user or new/existing developer functionality label Aug 3, 2016
@rade rade added this to the July2016 milestone Aug 4, 2016
@rade
Copy link
Member

rade commented Aug 4, 2016

I reckon we should do this soon, before users get used to the current position.

Of the options discussed my order of preference is exactly as shown there. IMO the last one makes search too dominant and loses precious vertical space. The 2nd one consumes precious horizontal space - it will be impossible to expand-on-click the search box (as we currently do) in all but very wide browser windows.

davkal added a commit that referenced this issue Aug 4, 2016
@davkal
Move grid selector to top menu
38083b5 
* move to top right, to bookend topologies
* hierarchically similar to search, so similar positioning

Fixes #1743
@davkal davkal mentioned this issue Aug 4, 2016
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@davkal davkal

Labels
chore Related to fix/refinement/improvement of end user or new/existing developer functionality component/ui Predominantly a front-end issue; most/all of the work can be completed by a f/e developer
Projects
None yet
Milestone
0.17.0
Development

No branches or pull requests
3 participants
@foot @rade @davkal