changeset 184:0161a1e2ce12

Properties for "version" and "encoding" for the timestamps database
author Franz Glasner <hg@dom66.de>
date Sun, 09 Sep 2018 16:37:29 +0200
parents ad40d8ef2992
children 3f01add9d84f
files extensions/timestamps.py
diffstat 1 files changed, 16 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/extensions/timestamps.py	Sun Sep 09 16:33:53 2018 +0200
+++ b/extensions/timestamps.py	Sun Sep 09 16:37:29 2018 +0200
@@ -390,6 +390,22 @@
         self._version = None
         self._encoding = None
 
+    @property
+    def version(self):
+        return self._version
+
+    @version.setter
+    def version(self, v):
+        self._version = v
+
+    @property
+    def encoding(self):
+        return self._encoding
+
+    @encoding.setter
+    def encoding(self, v):
+        self._encoding = v
+
     def read(self, db):
         """Initialize from external timestamps database `db`