X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=detail-xml;h=3735a657fa61ef8444fb9b985601912a050d736f;hb=a44813e69593b8c3a8c1ee08c0f08a18a52af256;hp=1684915bf54c9f3034f6f68f75dd7fd352515940;hpb=c82a9402434b9fc310c85754a03cca114b69f04e;p=pspp

diff --git a/detail-xml b/detail-xml
index 1684915bf5..3735a657fa 100644
--- a/detail-xml
+++ b/detail-xml
@@ -119,9 +119,8 @@ style :=
       textAlignment
       size?)?
      visible?
-     color? color2?
+     color? color2?]
      
-
 layer := [id? value variable method? visible?]
 layerController := [id? source target]