... | ... |
@@ -1311,6 +1311,8 @@ class DotWidget(gtk.DrawingArea): |
1311 | 1311 |
self.filter = filter |
1312 | 1312 |
|
1313 | 1313 |
def set_dotcode(self, dotcode, filename='<stdin>'): |
1314 |
+ if isinstance(dotcode, unicode): |
|
1315 |
+ dotcode = dotcode.encode('utf8') |
|
1314 | 1316 |
p = subprocess.Popen( |
1315 | 1317 |
[self.filter, '-Txdot'], |
1316 | 1318 |
stdin=subprocess.PIPE, |