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 770477 - Add a quick-highlight plugin
Add a quick-highlight plugin
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: plugins
unspecified
Other Linux
: Normal enhancement
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2016-08-27 11:49 UTC by Martin Blanchard
Modified: 2016-08-27 19:49 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
First simple implementation (14.78 KB, patch)
2016-08-27 12:02 UTC, Martin Blanchard
committed Details | Review

Description Martin Blanchard 2016-08-27 11:49:35 UTC
Quick Highlight or Smart Highlight usually refer to a text editor behaviour that highlight every occurrences of selected text dynamically (as you select it). Plugins implementing this already exist for various editor: Emacs [1], Vim [2], Atom [3]... This kind of feature may be interesting for Builder to have, most probably implemented as a plugin that one can turn on and off.

[1] http://nschum.de/src/emacs/highlight-symbol/
[2] http://vim.wikia.com/wiki/Auto_highlight_current_word_when_idle
[3] https://atom.io/packages/quick-highlight
Comment 1 Martin Blanchard 2016-08-27 12:02:21 UTC
Created attachment 334267 [details] [review]
First simple implementation
Comment 2 Christian Hergert 2016-08-27 19:49:22 UTC
Thanks! Outstanding work!

I've extended this a bit to make it feel/work like a core plugin. We will enable
it by default and have added a preference under the "Editor" section to disable
it. This is a bit nicer than enable/disabling the plugin from extensions since
the user doesn't need to know the feature was implemented as a plugin.

Thanks again!