diff gui/tabwidget.py @ 108:81b51b9d861e

Fixed bug where the objects of a map where not correctly restored when changing between maps.
author KarstenBock@gmx.net
date Fri, 30 Sep 2011 16:05:26 +0200
parents 7a89ea5404b1
children 5b880b8cff6d
line wrap: on
line diff