-#: ./src/gui/Window.ec:7976
-#: ./src/gui/Window.ec:8039
-#: ./src/gui/Window.ec:8221
-#: ./src/gui/Window.ec:8268
-#: ./src/gui/Window.ec:8275
-#: ./src/gui/Window.ec:8282
-#: ./src/gui/Window.ec:8289
-#: ./src/gui/Window.ec:8296
-#: ./src/gui/Window.ec:8303
-#: ./src/gui/Window.ec:8310
-#: ./src/gui/Window.ec:8765
-#: ./src/gui/Window.ec:8792
-#: ./src/gui/Window.ec:8799
-#: ./src/gui/Window.ec:9043
-#: ./src/gui/Window.ec:9063
+#: ./src/gui/Window.ec:7982
+#: ./src/gui/Window.ec:8045
+#: ./src/gui/Window.ec:8227
+#: ./src/gui/Window.ec:8274
+#: ./src/gui/Window.ec:8281
+#: ./src/gui/Window.ec:8288
+#: ./src/gui/Window.ec:8295
+#: ./src/gui/Window.ec:8302
+#: ./src/gui/Window.ec:8309
+#: ./src/gui/Window.ec:8316
+#: ./src/gui/Window.ec:8771
+#: ./src/gui/Window.ec:8798
+#: ./src/gui/Window.ec:8805
+#: ./src/gui/Window.ec:9049