svghmi/svghmi.js
branchsvghmi
changeset 3068 81758c94f3df
parent 3035 d1fc8c55c1d3
child 3075 2f9dbd3ee445
--- a/svghmi/svghmi.js	Tue Oct 20 00:24:49 2020 +0200
+++ b/svghmi/svghmi.js	Thu Oct 22 22:44:29 2020 +0200
@@ -39,6 +39,7 @@
     INT: (dv,offset) => [dv.getInt16(offset, true), 2],
     BOOL: (dv,offset) => [dv.getInt8(offset, true), 1],
     NODE: (dv,offset) => [dv.getInt8(offset, true), 1],
+    REAL: (dv,offset) => [dv.getFloat32(offset, true), 4],
     STRING: (dv, offset) => {
         size = dv.getInt8(offset);
         return [