Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | color.gif | 2248 | logstatsplain |
-rw-r--r-- | fillscreen.gif | 4276 | logstatsplain |
-rw-r--r-- | pendown.gif | 2704 | logstatsplain |
-rw-r--r-- | pengroup.gif | 18827 | logstatsplain |
-rw-r--r-- | penmask.gif | 1964 | logstatsplain |
-rw-r--r-- | pensize.gif | 2266 | logstatsplain |
-rw-r--r-- | penup.gif | 2697 | logstatsplain |
-rw-r--r-- | setcolor.gif | 3217 | logstatsplain |
-rw-r--r-- | setpensize.gif | 3246 | logstatsplain |
-rw-r--r-- | setshade.gif | 3157 | logstatsplain |
-rw-r--r-- | shade.gif | 2280 | logstatsplain |