version 1.3, see versions.txt

tube.c

@@ -180,7 +180,7 @@ void tube_init(int argc, char* argv[])
         char *argv2[20];
         size_t bufsize = 127;
         int firstArg = 1;
-        printf("tek4010 version 1.2.6\n");
+        printf("tek4010 version 1.3\n");
         windowName = "Tektronix 4010/4014 emulator";
         if ((argc<2) || (argc>19)) {
                 printf("Error:number of arguments\n");

versions.txt

@@ -1,3 +1,10 @@
+Version 1.3 April 29, 2019
+============================
+Bug fixes
+- Vertical positioning in ARDS mode
+- Character size change did not leave escape mode
+- Intensity change did not include effect of flood gun
+
 Version 1.2.6 April 26, 2019
 ============================
 New features