debian/dirs
| author |
ladanyi |
|
Tue, 23 Aug 2005 07:36:09 +0000 |
| changeset 1645 |
4a04bb856ac7 |
| permissions |
-rw-r--r-- |
- id maps are not editable
- handle exceptions thrown by the file reader
- texts are always above the edges
- store a default value for all maps, so that edges and nodes created after
adding a new map receive the default value too
- create node on button release, not on click (fixes a few oddities)