Skip to content
This repository has been archived by the owner on Apr 21, 2023. It is now read-only.

"Filter" button #7

Closed
jbpotonnier opened this issue Nov 5, 2012 · 2 comments
Closed

"Filter" button #7

jbpotonnier opened this issue Nov 5, 2012 · 2 comments
Labels
enhancement

Comments

@jbpotonnier
Copy link

Add a "Filter" button in the filter panel.
@dboissier
Copy link
Owner

Add CTRL+F5 in the title of the query panel: Enough or need more?

@dboissier
Copy link
Owner

invert query panel and result panel, so the Run Button appears at the right place

@aruizca aruizca mentioned this issue Apr 22, 2013
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jbpotonnier @dboissier