Add export option.
authorTill Hartmann <ich@till-hartmann.de>
Fri, 4 Jun 2010 22:18:33 +0000 (00:18 +0200)
committerJon Nordby <jononor@gmail.com>
Fri, 4 Jun 2010 22:18:33 +0000 (00:18 +0200)
commitf70227c69bdd6d4578f246a87441ac85d1cb0d12
tree547b83728cd7d429aaace112a0effaf01b169e3e
parent13b2a31acf87faaae2b8bea1b8d145d43462faf3
Add export option.

Saves a copy without changing the working file.
gui/filehandling.py
gui/menu.xml