I am developing a district editor for cities. The idea is that we divide the city into districts. I am using GoogleMaps, but any other js library is acceptable.
Problem 1: districts are connected polygons, so changing one's border changes it's neighbour. I can not imagine a simple interface to join the polygons, and the ones, that I can think of are hard to implement (like sticky borders idea where borders 'stick' together when are near and 'unstick' when stretched far away.)
Question: Is there some library or an example of an Editor that can join Polygons, and changing one's border changes the neighbour? (Even non web examples would be of use to give me an idea of the user interface.)
Problem 2: I have a dataset based on data from wikimapia, that contains district polygons. Problem is that those polygons do not join by points and somehow overlap or have space between them.
Question: How can I process those polygons to gain ones, that have joined borders. I can use Python scripts or any other if needed instructions are provided. This is a one time operation, no need to implement a graceful solution.