GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-25 01:06:35 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

check if anki is already open and prompt user

Browse source
This commit is contained in:
Damien Elmes 2009-04-22 22:10:14 +09:00
parent 9212d8053f
commit a05fc37d94
2 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
ankiqt/__init__.py
View file

@ -173,6 +173,7 @@ def run():
except (IOError, OSError): except (IOError, OSError):
pass pass
if not mw.abortOpen:
app.exec_() app.exec_()
if __name__ == "__main__": if __name__ == "__main__":

7
ankiqt/ui/main.py
View file

@ -33,6 +33,7 @@ class AnkiQt(QMainWindow):
QMainWindow.__init__(self) QMainWindow.__init__(self)
self.errorOccurred = False self.errorOccurred = False
self.inDbHandler = False self.inDbHandler = False
self.abortOpen = False
if sys.platform.startswith("darwin"): if sys.platform.startswith("darwin"):
qt_mac_set_menubar_icons(False) qt_mac_set_menubar_icons(False)
ankiqt.mw = self ankiqt.mw = self
@ -631,6 +632,12 @@ To upgrade an old deck, download Anki 0.9.8.7."""))
r = self.loadDeck(path, interactive=False, sync=False) r = self.loadDeck(path, interactive=False, sync=False)
if r: if r:
return r return r
else:
# deck is already open
if not ui.utils.askUser(
_("Anki is already open. Open another copy?")):
self.abortOpen = True
return
self.onNew(initial=True) self.onNew(initial=True)
def getDefaultDir(self, save=False): def getDefaultDir(self, save=False):