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 776386 - incorrect AS_HELP_STRING for quick-highlight-plugin
incorrect AS_HELP_STRING for quick-highlight-plugin
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: plugins
3.22.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2016-12-22 11:16 UTC by Michael Biebl
Modified: 2016-12-22 13:49 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
[PATCH] Fix AS_HELP_STRING for quick-highlight plugin (1019 bytes, patch)
2016-12-22 13:43 UTC, Michael Biebl 		none Details | Review
[PATCH] Fix AS_HELP_STRING for quick-highlight plugin (1.04 KB, patch)
2016-12-22 13:44 UTC, Michael Biebl 		none Details | Review

Description Michael Biebl 2016-12-22 11:16:34 UTC 
AS_HELP_STRING([--enable-quick-highlight= should be
AS_HELP_STRING([--enable-quick-highlight-plugin=
Comment 1 sébastien lafargue 2016-12-22 11:32:02 UTC 
thanks, you want to make the patch ?
Comment 2 Michael Biebl 2016-12-22 13:42:42 UTC 
sure, attached
Comment 3 Michael Biebl 2016-12-22 13:43:06 UTC 
Created attachment 342386 [details] [review]
[PATCH] Fix AS_HELP_STRING for quick-highlight plugin
Comment 4 Michael Biebl 2016-12-22 13:44:17 UTC 
Created attachment 342387 [details] [review]
[PATCH] Fix AS_HELP_STRING for quick-highlight plugin