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 793191 - New quick-highlight plugin
New quick-highlight plugin
Status: RESOLVED FIXED
Product: gedit-plugins
Classification: Other
Component: General
git master
Other Linux
: Normal enhancement
: ---
Assigned To: Gedit maintainers
Gedit maintainers
Depends on:
Blocks:
 
 
Reported: 2018-02-05 15:51 UTC by Martin Blanchard
Modified: 2019-03-23 20:34 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
First plugin implementation (20.77 KB, patch)
2018-02-05 16:04 UTC, Martin Blanchard 		none Details | Review

Description Martin Blanchard 2018-02-05 15:51:49 UTC 
Gedit is missing a "quick-highlight" plugin that would, continuously, highlight slices of text as they get selected. Builder has one from some time now [1]. An external one already exist [2], it's written in Python and implementation is rather naive. Think gedit deserves a better implementation, preferably asynchronous/threaded and shipped as a core feature.

[1] https://gitlab.gnome.org/GNOME/gnome-builder/tree/master/src/plugins/quick-highlight
[2] https://gitlab.com/tchaik/gedit-my-plugins/tree/master/plugins/quick_highlight
Comment 1 Martin Blanchard 2018-02-05 16:04:38 UTC 
Created attachment 367919 [details] [review]
First plugin implementation

Feedbacks and comments are welcome!
Comment 2 Jeremy Bicha 2018-08-06 01:18:11 UTC 
This problem has been fixed in the unstable development version. The fix will be available in the next major software release. You may need to upgrade your Linux distribution to obtain that newer version.

https://gitlab.gnome.org/GNOME/gedit/commit/7049a161

https://gitlab.gnome.org/GNOME/gedit/merge_requests/3