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

The search box doesn't highlight anything #1802

Closed
andrejpodzimek opened this issue Oct 14, 2020 · 5 comments
Closed

The search box doesn't highlight anything #1802

andrejpodzimek opened this issue Oct 14, 2020 · 5 comments

Comments

@andrejpodzimek
Copy link

Describe the bug

The search box (Ctrl+Shift+F by default) has no effect and doesn't highlight anything.

Expected behavior

Search string matches on the terminal should be highlighted.

Actual behavior

Entering a search string into the search box and pressing enter has no effect whatsoever, despite many obvious matches.

To Reproduce

Try to search.


$ guake --support

Guake Version: 3.7.1

Vte Version: 0.62.1

Vte Runtime Version: 0.62.1


GTK+ Version: 3.24.23

GDK Backend: gi.GdkWaylandDisplay


Desktop Session: gnome


Display: wayland-0

RGBA visual: True

Composited: True

  • Monitor: 0 - HWP HP Z27q
    • Geometry: 5120 x 2880 % 2 at 0, 0
    • Size: 600 x 340 mm²
    • Primary: False
    • Refresh rate: 59.98 Hz
    • Subpixel layout: unknown
  • Monitor: 1 - HWP HP Z27q
    • Geometry: 5120 x 2880 % 2 at 5120, 0
    • Size: 600 x 340 mm²
    • Primary: False
    • Refresh rate: 59.98 Hz
    • Subpixel layout: unknown
@DrSatyr
Copy link

DrSatyr commented Nov 23, 2020

Hi, have the same situation on fresh ubuntu 20.04 installation

@ivoshm
Copy link

ivoshm commented Jan 5, 2021

Duplicate of #1752 ...

@andrejpodzimek
Copy link
Author

andrejpodzimek commented May 21, 2021

Duplicate of #1824 as well.

I know it’s somewhat impolite to poke bugs like this, but it’s been more than a year since #1752 and the problem is still around.

Any suggestions on what I can do in terms of debugging would be helpful. I can give this a weekend or the like and provide more information, but I’m not familiar with the codebase and have no clue where to start.

@andrejpodzimek
Copy link
Author

#1839… Still no search.

@Davidy22
Copy link
Collaborator

Davidy22 commented Sep 4, 2021

It looks like there's an aging pull request #1769 that should fix this if you want to get involved, but it looks like it mostly works and has just been in limbo due to CI being down and blocking merges. Fixing CI right now, and you can help if you want by testing the patch to see if it still works. For now though, going to close this specific ticket as it is a duplicate.

@Davidy22 Davidy22 closed this as completed Sep 4, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

4 participants