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

Show request details in the result tab #110

Open
Yanpas opened this issue Oct 6, 2021 · 2 comments
Open

Show request details in the result tab #110

Yanpas opened this issue Oct 6, 2021 · 2 comments
Labels
enhancement New feature or request

Comments

@Yanpas
Copy link

Yanpas commented Oct 6, 2021

Arises from #104

Details should include execution time, query itself, server
@dzmipt
Copy link
Owner

dzmipt commented Oct 10, 2021

The implementation should be different to #104. I mean I don't like to have such details in the tooltip. Also I think the control with the information should allow to copy/paste details. I think may be we need to have a tabbed pane inside output tab ?

@dzmipt dzmipt added the enhancement New feature or request label Oct 10, 2021
@Yanpas
Copy link
Author

Yanpas commented Oct 10, 2021

I think tabs with tables should have small icon-bar, containing comma button, and show/hide buttons for request infos

dzmipt pushed a commit that referenced this issue Aug 4, 2023
@gyorokpeter
Merge pull request #110 from gyorokpeter/workspaceBackup
12207bc 
create backup of workspace
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Yanpas @dzmipt