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

Little improvements to filters settings page #12793

Merged
merged 1 commit into from
Jan 7, 2020
Merged

Little improvements to filters settings page #12793

merged 1 commit into from
Jan 7, 2020

Conversation

brawaru
Copy link
Contributor

@brawaru brawaru commented Jan 7, 2020

When you have many filters, it may be hard for you to reach the button to create yet another one. This PR moves creation button to the heading, leaving the page just for the list.

On the other hand, when there are no filters, page looks kind of strange with the empty table. So text stating obvious fact that user has no filters was added in this PR too.

Demo screenshot

Closes #11020
Closes #12790

When you have many filters, it may be hard for you to reach the button
to create yet another one. This commit moves creation button to the
heading, leaving the page just for the list.

On the other hand, when there are no filters, page looks kind of
strange with the empty table. So text stating obvious fact that user
has no filters was added in this commit too.

Closes #11020
Closes #12790
@Gargron Gargron merged commit 345dd93 into mastodon:master Jan 7, 2020
@Cassolotl
Copy link

This is such a nicely written PR comment! :)

@brawaru brawaru deleted the fix/improve-filters-page branch April 2, 2020 22:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
4 participants