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

Change the order of elements on the window title

Browse source 
The application name typically comes at the end of the title. As such, many tools grabs the final string as the application name. What Anki does currently causes the profile name to be grabbed, producing unexpected results.
This commit is contained in:
zandimna 2018-11-12 20:23:47 +08:00 committed by GitHub
parent a9f9df5109
commit 3b70c6ff26
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()