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

[Feature request] Resizable "Text filter" field #177

Closed
Pr0metheus2 opened this issue Jul 6, 2020 · 2 comments
Closed

[Feature request] Resizable "Text filter" field #177

Pr0metheus2 opened this issue Jul 6, 2020 · 2 comments
Labels
enhancement this will make things better Feature what a great idea
Milestone

Comments

@Pr0metheus2
Copy link

Feature

image

Can we increase width of "Text filter" field, or could that be automatically resized according to number of characters present?
I am using Regular expression and more than one command to filter out the result, but this field is quite short.
Also history of text filter is with fixed width and if there ase similar commands, they all looks same.

@Pr0metheus2 Pr0metheus2 changed the title Resizable "Text filter" field [Request] Resizable "Text filter" field Jul 6, 2020
@Pr0metheus2 Pr0metheus2 changed the title [Request] Resizable "Text filter" field [Feature request] Resizable "Text filter" field Jul 6, 2020
@Hirogen
Copy link
Collaborator

Hirogen commented Jul 7, 2020

I still got 2 other issues open, that I'm working on very slowly, but as soon as those are finished, I will try to find a solution for this :)

natenho added a commit to natenho/LogExpert that referenced this issue Feb 24, 2021
natenho added a commit to natenho/LogExpert that referenced this issue Feb 25, 2021
@Hirogen Hirogen added enhancement this will make things better Feature what a great idea labels Nov 14, 2021
@Hirogen Hirogen added this to the Release 1.8.8 milestone Nov 14, 2021
Hirogen added a commit that referenced this issue Nov 15, 2021
Allow resize and add autosize to the filter box (close #177)
@Hirogen
Copy link
Collaborator

Hirogen commented Nov 15, 2021

#193 merged, feature has been added

@Hirogen Hirogen closed this as completed Nov 15, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement this will make things better Feature what a great idea
Projects
None yet
Development

No branches or pull requests

2 participants