Index: channels/history.py
==================================================================
--- channels/history.py
+++ channels/history.py
@@ -73,8 +73,8 @@
while max > 0 and len(hist) > max:
hist.pop()
# update store
self.bm.save()
- if self.bm.current == "history":
- self.bm.load("history")
+ #if self.bm.current == "history":
+ # self.bm.load("history")
Index: config.py
==================================================================
--- config.py
+++ config.py
@@ -149,11 +149,14 @@
os.unlink(file)
else:
f = open(file, "w")
# encode
data = json.dumps(data, indent=(4 if nice else None))
- f.write(data.encode("utf-8"))
+ try:
+ f.write(data.encode("utf-8"))
+ except TypeError as e:
+ f.write(data) # Python3 sometimes wants to write strings rather than bytes
f.close()
# retrieve data from config file
def load(self, name):
Index: gtk2.xml
==================================================================
--- gtk2.xml
+++ gtk2.xml
@@ -84,11 +84,11 @@
True
automatic
automatic
@@ -1856,10 +1844,145 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+