[ jEdit-devel ] [ jedit-Plugin Patches-3598248 ] XML plugin: fixes for CSS parser

[SourceForge.net <no...@so...>]

Plugin Patches item #3598248, was opened at 2012-12-23 09:45
Message generated for change (Comment added) made by daleanson
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=997937&aid=3598248&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
>Status: Closed
>Resolution: Fixed
Priority: 5
Private: No
Submitted By: Vladimir Avdonin (vldmr)
Assigned to: Dale Anson (daleanson)
Summary: XML plugin: fixes for CSS parser

Initial Comment:
CSS parser for sidekick fails to correctly parse @media and @keyframes rules from CSS3 specification. The example test below generates parsing errors, which are fixed in attached patch. The actual changes were made only to sidekick/css/parser/CSS3Parser.jj file. The following files need to be rebuilt by running javacc target: TokenMgrError.java, ParseException.java, Token.java, SimpleCharStream.java, CSS3ParserTokenManager.java, CSS3ParserConstants.java, CSS3Parser.java.
------------------ test.css -----------------
@media only print and (min-resolution: 240dpi),
	only screen and (min-resolution: 240dpi)
  {
  p {font-size:10px;}
  }

@-webkit-keyframes flipouttoleft {
    from { -webkit-transform: rotateY(0); }
    to { -webkit-transform: rotateY(-90deg) scale(.9); }
}


----------------------------------------------------------------------

>Comment By: Dale Anson (daleanson)
Date: 2012-12-28 09:12

Message:
Vladimir, thanks for the patch, looks good! Committed in revision 22627.



----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=997937&aid=3598248&group_id=588