After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 767117 - gnome-builder doesn't allow me to search in file editor
gnome-builder doesn't allow me to search in file editor
Status: RESOLVED NOTABUG
Product: gnome-builder
Classification: Other
Component: editor
3.18.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2016-06-01 16:21 UTC by Inactive account
Modified: 2016-06-01 17:43 UTC
See Also:
GNOME target: ---
GNOME version: 3.19/3.20


Description Inactive account 2016-06-01 16:21:57 UTC 
After install gnome-builder on Ubuntu GNOME 16.04 with GNOME 3.20 I have found that if I press CTRL + F that nothing happens when I'm in a file, so I seem to be unable to easily search for lines in a file, and I can't see another way of doing it other than through the keyboard shortcut (though maybe there is). Though I have found that I am able to use the same method to search for files in the files list so it seems to only be in the actual file editor that I can't use it. And it worked in previous versions of gnome-builder. It is gnome-builder version 3.18.1-2ubuntu1.

I initially reported the bug here but thought I should also do so upstream: https://bugs.launchpad.net/ubuntu/+source/gnome-builder/+bug/1587976
Comment 1 Christian Hergert 2016-06-01 17:10:12 UTC 
You've specified the version as 3.18 but mention you are running GNOME 3.20. We don't support running with gtk+ versions different than our minor version. (For example, 3.18 builder requires 3.18 gtk).

Any chance this is the case?
Comment 2 Inactive account 2016-06-01 17:32:07 UTC 
Well, it seems to work in every other possible way... But I have now tested the issue in my GNOME 3.18 VM and it works fine with seemingly the same version so maybe that is the issue. I have filed a report now with the Ubuntu GNOME team so hopefully they will put the latest version of gnome-builder in there PPA soon.

I'll reopen this bug if I get it when I have the same version of GNOME as I do of gnome-builder then, shall I? If you would like to close it now that is...
Comment 3 Christian Hergert 2016-06-01 17:43:24 UTC 
The problem is that we do lots lots lots of wacky stuff with gtk+ internals, so we necessarily release on schedule with gnome/gtk+.

What we should really do is refuse to load with mismatch gtk versions (or at least display a warning dialog).