Bug 795931 – css.lang: Case-insensitive highlighting

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 795931 - css.lang: Case-insensitive highlighting


Summary:	css.lang: Case-insensitive highlighting


Status:	RESOLVED FIXED

Product:	gtksourceview
Classification:	Platform
Component:	Syntax files
Version:	git master
Hardware:	Other Linux

Importance:	Normal normal
Target Milestone:	---
Assigned To:	GTK Sourceview maintainers
QA Contact:	GTK Sourceview maintainers

URL:
Whiteboard:

Depends on:
Blocks:

Reported:	2018-05-08 14:52 UTC by Jeffery To
Modified:	2018-05-09 09:26 UTC

See Also:
GNOME target:	---
GNOME version:	---

Attachments
css.lang: Case-insensitive highlighting (4.97 KB, patch) 2018-05-08 15:01 UTC, Jeffery To	none	Details \| Review

Description Jeffery To 2018-05-08 14:52:24 UTC

CSS is case insensitive, except for parts not under the control of CSS (e.g. HTML IDs and classes), so highlighting should apply in uppercase or mixed-case situations.

Will attach a patch shortly.

(This is a tangential continuation of bug 795550.)

Comment 1 Jeffery To 2018-05-08 15:01:21 UTC

Created attachment 371805 [details] [review]
css.lang: Case-insensitive highlighting

Enable case-insensitive matching by default and remove case considerations from individual patterns.

Comment 2 Sébastien Wilmet 2018-05-09 09:26:12 UTC

Thanks, pushed as commit 3bf8216037d34d1dad925317125ac6ed70aa50e0.