changed MapEditor::undo and saveState so that selection is saved, too (bugfix)
2 static const char *editcut_xpm[] = {
3 /* columns rows colors chars-per-pixel */
10 "oooooooooooooooooooooo",
11 "oooooooXoooooXoooooooo",
12 "oooooooXoooooXoooooooo",
13 "oooooooXoooooXoooooooo",
14 "oooooooXooooXXoooooooo",
15 "oooooooXXoooXooooooooo",
16 "ooooooooXoooXooooooooo",
17 "ooooooooXXoXXooooooooo",
18 "oooooooooXXXoooooooooo",
19 "oooooooooXXXoooooooooo",
20 "ooooooooooXooooooooooo",
21 "ooooooooo.X.oooooooooo",
22 "oooooooo..o...oooooooo",
23 "ooooooo.o.o.oo.ooooooo",
24 "oooooo.oo.o.ooo.oooooo",
25 "ooooo.ooo.o.oooo.ooooo",
26 "oooo.oooo.o.oooo.ooooo",
27 "oooo.oooo.oo.ooo.ooooo",
28 "oooo.oooo.oo.oo.oooooo",
29 "oooo.ooo.oooo..ooooooo",
30 "ooooo...oooooooooooooo",
31 "oooooooooooooooooooooo"