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

warn and close when media server requests fail

Browse source
This commit is contained in:
Damien Elmes 2018-06-29 17:17:13 +10:00
parent 01832e1312
commit 9987c18a1c
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
aqt/webview.py
View file

@ -314,5 +314,11 @@ body {{ zoom: {}; {} }}
self.evalWithCallback("$(document.body).height()", self._onHeight) self.evalWithCallback("$(document.body).height()", self._onHeight)
def _onHeight(self, qvar): def _onHeight(self, qvar):
if qvar is None:
from aqt import mw
openLink("https://anki.tenderapp.com/kb/problems/anki-must-be-able-to-connect-to-a-local-port")
mw.app.closeAllWindows()
return
height = math.ceil(qvar*self.zoomFactor()) height = math.ceil(qvar*self.zoomFactor())
self.setFixedHeight(height) self.setFixedHeight(height)