mapstorage.cc
branchgui
changeset 108 bf355fd6563e
parent 101 7234b7fabd05
child 111 ab3107255754
     1.1 --- a/mapstorage.cc	Thu Jan 05 01:54:24 2006 +0000
     1.2 +++ b/mapstorage.cc	Thu Jan 05 12:30:09 2006 +0000
     1.3 @@ -58,6 +58,9 @@
     1.4        nodemap_storage[name]=nodemap;
     1.5        // set the maps default value
     1.6        nodemap_default[name] = default_value;
     1.7 +
     1.8 +      //announce changement in maps
     1.9 +      signal_node_map.emit(name);
    1.10        return 0;
    1.11      }
    1.12    return 1;
    1.13 @@ -126,6 +129,9 @@
    1.14        edgemap_storage[name]=edgemap;
    1.15        // set the maps default value
    1.16        edgemap_default[name] = default_value;
    1.17 +
    1.18 +      //announce changement in maps
    1.19 +      signal_edge_map.emit(name);
    1.20        return 0;
    1.21      }
    1.22    return 1;