GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-18 22:12:21 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

Merge pull request #260 from zandimna/patch-1

Browse source 
Change the order of elements on the window title
This commit is contained in:
Damien Elmes 2018-11-13 11:10:51 +10:00 committed by GitHub
commit 9396d74bf6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
aqt/main.py
View file

@ -248,7 +248,7 @@ close the profile or restart Anki."""))
restoreGeom(self, "mainWindow") restoreGeom(self, "mainWindow")
restoreState(self, "mainWindow") restoreState(self, "mainWindow")
# titlebar # titlebar
self.setWindowTitle("Anki - " + self.pm.name) self.setWindowTitle(self.pm.name + " - Anki")
# show and raise window for osx # show and raise window for osx
self.show() self.show()
self.activateWindow() self.activateWindow()
@ -1300,4 +1300,4 @@ Please ensure a profile is open and Anki is not busy, then try again."""),
return '<base href="%s">' % self.serverURL() return '<base href="%s">' % self.serverURL()
def serverURL(self): def serverURL(self):
return "http://127.0.0.1:%d/" % self.mediaServer.getPort() return "http://127.0.0.1:%d/" % self.mediaServer.getPort()