674ffca4c6a9f7d40cfaa67860dc3882ad17835f |
|
06-Feb-2009 |
aurium <aurium@users.sourceforge.net> |
extensions/dots.py : Now dots are circles and not a multi-path to correct the "where is the dot" bug and make easy to change a dot position; The number is moved to be separated from the dot; The original path is now deleted, not only cleared; The last dot is not more over the first - now is better for kids (and some adults) to understand the start and end dots |