src/gui.h
changeset 8196 784ea9554da3
parent 8138 dbfdc08fa6b9
child 8205 2bde724f1b5d
--- a/src/gui.h	Fri Jan 04 17:25:53 2008 +0000
+++ b/src/gui.h	Fri Jan 04 18:18:46 2008 +0000
@@ -64,6 +64,8 @@
  * you've selected it. */
 enum {
 	DDSP_DEMOLISH_AREA,
+	DDSP_RAISE_AND_LEVEL_AREA,
+	DDSP_LOWER_AND_LEVEL_AREA,
 	DDSP_LEVEL_AREA,
 	DDSP_CREATE_DESERT,
 	DDSP_CREATE_ROCKS,