Do a symlink instead of a copy from xml to xhtml
Gonzalo Odiard
12 years ago
588 | 588 |
|
589 | 589 |
if filename.endswith('xml'):
|
590 | 590 |
dest = filename.replace('xml', 'xhtml')
|
591 | |
shutil.copy(filename, dest)
|
|
591 |
os.symlink(filename, dest)
|
592 | 592 |
self._view.open('file://' + dest)
|
593 | 593 |
else:
|
594 | 594 |
self._view.open('file://' + filename)
|