[Add] Tech.

utils/resedit/space.py

@@ -359,6 +359,17 @@ class Space:
         services = services + m
     planet["general"]["services"] = services
 
+    # Get the techs.
+    tech0 = self.__pwidget("spiTech0").get_text()
+    if tech0 > 0:
+      try:
+        planet["general"]["tech"]["main"] = tech0
+      except:
+        planet["general"]["tech"] = {}
+        planet["general"]["tech"]["main"] = tech0
+      else:
+        del planet["general"]["tech"]["main"]
+
   def __sinpStore(self, system, wgt, tag, minortag=None):
     text = self.__swidget(wgt).get_text()
     if minortag==None: