view paste/paste.18412 @ 9954:fb3529990ed4

<oerjan> ` echo \'121:122 194:196 770:771 1000:1001 1493 1497 2113:2114 3341:3343 4530:4531 5136:5137 5642:5643 5895 5897 8669:8678 9070:9071 9074:9075\' | xargs -n 1 >share/scowrevs
author HackBot
date Mon, 12 Dec 2016 03:24:20 +0000
parents e037173e0012
children
line wrap: on
line source

DrawTextExpression: Don't have environment!
GraphicsUtils:getWriterFormatNames:
  java.lang.reflect.InvocationTargetException
Warning:  unknown extension 'png' when writing image file 'foo.png'.  Image file will probably not render correctly.
The file formats supported for writing by your Java platform are: 
GraphicsUtils:getWriterFormatNames:
  java.lang.reflect.InvocationTargetException
.
To force writing to a file without a recognized extension, instead use the method:
   g.writeFormat["filename", "format" ... ]
      where "format" is one of the format strings listed above.
Could not construct suitable image renderer.