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 389286 - filter search by type of highlighted text
filter search by type of highlighted text
Product: gedit
Classification: Applications
Component: general
git master
Other All
: Normal enhancement
: ---
Assigned To: Gedit maintainers
Gedit maintainers
Depends on:
Reported: 2006-12-24 20:52 UTC by Gil Forcada
Modified: 2009-01-02 14:31 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement

Description Gil Forcada 2006-12-24 20:52:01 UTC
It could be really useful if we have a combo box or a list box with the types of highlighted text of the current document (e.g. if you are editing a .po file in the list box it will be "comment", "msgid" and "msgstr")

with this we can improve a lot the searches, for example, I'm a translator, so, I have the po that I'm translating and one or two more .po which I use to consult strings

I think it could not be so difficult, because if gedit is aware of the kind of string, and thus it can be highlighted correctly, then it can search only for the strings that are the highlighted

sorry for my english, if you don't understand, please tell me and I will try to epxlain better :)

comments are welcome
Comment 1 Paolo Borelli 2009-01-02 14:31:40 UTC
well, that's not so easy at all, since those words are hidden in gtksourceview highlighting engine and not exposed to gedit.

Beside the use case here seems a bit too specific