Skip to content

[FEATURE] Resizable query section #102

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

Open
msfroh opened this issue Nov 17, 2022 · 0 comments
Open

[FEATURE] Resizable query section #102

msfroh opened this issue Nov 17, 2022 · 0 comments
Labels
enhancement New feature or request Search Indicates a search feature - useful for cross project searches

Comments

@msfroh
Copy link
Collaborator

msfroh commented Nov 17, 2022

Is your feature request related to a problem?

Yes. When editing a query, the DSL can get pretty verbose. The query box seems to be sized for about 8 lines of query text.

Following the JSON convention of putting one property on each line and closing curly braces on their own line, it's really hard to fit a non-trivial query on screen, meaning I need to scroll.

What solution would you like?

I would like the query boxes to be expandable vertically. I think we should add a handlebar to adjust the space allocated to queries versus results.

What alternatives have you considered?

  1. Could just make the query boxes bigger (but still fixed). I don't think this is the right solution, though, because once I'm done editing the queries, I do want to devote more screen real estate to the results.
  2. Maybe the query boxes could be large, but "behind" the results. When one query box or the other has focus, they could be brought to the front and moved back when focus is lost.

Do you have any additional context?

The following screenshot shows the problem. The query on the left is 9 lines, while the one on the right is 22 lines.

Screen Shot 2022-11-17 at 12 35 43 PM

@msfroh msfroh added the enhancement New feature or request label Nov 17, 2022
@macohen macohen added the Search Indicates a search feature - useful for cross project searches label Mar 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request Search Indicates a search feature - useful for cross project searches
Projects
Status: 🆕 New
Development

No branches or pull requests

2 participants