Replace some double with real

2026-08-15 18:43:59 +00:00 · 2025-09-07 16:25:11 +02:00
parent c32a8a863a
commit d6e253fe7f
3 changed files with 3 additions and 3 deletions
@@ -80,7 +80,7 @@ Singleton {
    JsonAdapter {
      id: historyAdapter
      property var history: []
-      property double timestamp: 0
+      property real timestamp: 0
    }
  }