release

changelog.html

@@ -1,6 +1,7 @@
-<span>xx.xx.2014 - 0.31</span>
+<span>04.11.2014 - 0.31</span>
 <p>
     - Bugfix for Sliders not properly updating<br />
+    - Bugfix for CLI line feed on ChromeOS<br />
 </p>
 <span>04.03.2014 - 0.30</span>
 <p>

js/gui.js

@@ -13,6 +13,7 @@ var GUI_control = function() {
     else if (navigator.appVersion.indexOf("CrOS") != -1)    this.operating_system = "ChromeOS";
     else if (navigator.appVersion.indexOf("Linux") != -1)   this.operating_system = "Linux";
     else if (navigator.appVersion.indexOf("X11") != -1)     this.operating_system = "UNIX";
+    else this.operating_system = "Unknown";
 };
 
 // Timer managing methods
@@ -295,6 +296,9 @@ GUI_control.prototype.tab_switch_cleanup = function(callback) {
         case 'firmware_flasher':
             PortHandler.flush_callbacks();
 
+            // unbind "global" events
+            $(document).unbind('keypress');
+
             if (callback) callback();
             break;
 

js/stm32.js

@@ -61,7 +61,7 @@ STM32_protocol.prototype.connect = function(hex) {
                 flashing_bitrate = 921600;
                 break;
             case 'MacOS':
-                flashing_bitrate = 921600; /* max of 38400 was fixed in dev branch, 33 still broken */
+                flashing_bitrate = 921600;
                 break;
             case 'ChromeOS':
             case 'Linux':