Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | color.gif | 2123 | logstatsplain |
-rw-r--r-- | fillscreen.gif | 4343 | logstatsplain |
-rw-r--r-- | pendown.gif | 2488 | logstatsplain |
-rw-r--r-- | pengroup.gif | 19188 | logstatsplain |
-rw-r--r-- | penmask.gif | 1964 | logstatsplain |
-rw-r--r-- | pensize.gif | 2241 | logstatsplain |
-rw-r--r-- | penup.gif | 2498 | logstatsplain |
-rw-r--r-- | setcolor.gif | 3183 | logstatsplain |
-rw-r--r-- | setpensize.gif | 3379 | logstatsplain |
-rw-r--r-- | setshade.gif | 3163 | logstatsplain |
-rw-r--r-- | shade.gif | 2112 | logstatsplain |