Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | color.gif | 2163 | logstatsplain |
-rw-r--r-- | fillscreen.gif | 4309 | logstatsplain |
-rw-r--r-- | pendown.gif | 2529 | logstatsplain |
-rw-r--r-- | pengroup.gif | 19522 | logstatsplain |
-rw-r--r-- | penmask.gif | 1964 | logstatsplain |
-rw-r--r-- | pensize.gif | 2247 | logstatsplain |
-rw-r--r-- | penup.gif | 2514 | logstatsplain |
-rw-r--r-- | setcolor.gif | 3110 | logstatsplain |
-rw-r--r-- | setpensize.gif | 3213 | logstatsplain |
-rw-r--r-- | setshade.gif | 3165 | logstatsplain |
-rw-r--r-- | shade.gif | 2174 | logstatsplain |