Public bug reported: ubuntu 16.04, gedit 3.18.3
open new document, paste this CSS .green-bar{ pointer-events: none; background: #8abf00; z-index:1; height: 8px; position: absolute; top: 9px; border-radius: 20px;" } pointer-events: should be with bold red but it's not, it's like gedit doesn't recognize that specific CSS keyword. the rest are ok background, z-index etc. https://developer.mozilla.org/en-US/docs/Web/CSS/pointer-events ** Affects: gedit (Ubuntu) Importance: Undecided Status: New -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gedit in Ubuntu. https://bugs.launchpad.net/bugs/1757099 Title: CSS "pointer-events" wrongly highlighted/colored Status in gedit package in Ubuntu: New Bug description: ubuntu 16.04, gedit 3.18.3 open new document, paste this CSS .green-bar{ pointer-events: none; background: #8abf00; z-index:1; height: 8px; position: absolute; top: 9px; border-radius: 20px;" } pointer-events: should be with bold red but it's not, it's like gedit doesn't recognize that specific CSS keyword. the rest are ok background, z-index etc. https://developer.mozilla.org/en-US/docs/Web/CSS/pointer-events To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/1757099/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp