doc/developers_interface.dox
author ladanyi
Tue, 23 Aug 2005 07:36:09 +0000
changeset 1645 4a04bb856ac7
child 2391 14a343be7a5a
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)
     1 /*!
     2 
     3 \page developers_interface Developers' interface to graph structures
     4 
     5 Under construction
     6 
     7 */