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

Add search function for terminal and logs #77

Merged
merged 2 commits into from May 26, 2020
Merged

Add search function for terminal and logs #77

merged 2 commits into from May 26, 2020

Conversation

ricoberger
Copy link
Member

  • It is now possible to search throw the terminal and logs. The searchbar can be open via the popover in the upper right corner in the modal.
  • Increase the scrollback buffer to 10000 lines.
  • Fix the positioning of the logs popover on modal. The modal wasn't placed next to the button, instead it was centered at the screen.

@ricoberger
Add search function for terminal and logs
e36d2f6 
It is now possible to search throw the terminal and logs. The searchbar
can be open via the popover in the upper right corner in the modal.

Increase the scrollback buffer to 10000 lines.

Fix the positioning of the logs popover on modal. The modal wasn't
placed next to the button, instead it was centered at the screen.
@ricoberger ricoberger added the enhancement New feature or request label May 26, 2020
@ricoberger ricoberger merged commit 8936bf8 into master May 26, 2020
@ricoberger ricoberger deleted the terminal-search branch May 26, 2020 20:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@ricoberger