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

Merge branch 'main' into qt-widget-gallery

Browse source
This commit is contained in:
Matthias Metelka 2023-01-12 08:28:38 +01:00 committed by GitHub
commit 9373e1fbd0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
qt/aqt/editor.py
View file

@ -1401,8 +1401,10 @@ class EditorWebView(AnkiWebView):
clip.setMimeData(mime)
# Mutter bugs out if the clipboard data is mutated in the clipboard change
# hook, so we need to do it after a small delay
aqt.mw.progress.timer(10, after_delay, False, parent=self)
# hook, so we need to do it after a delay. Initially 10ms appeared to be
# enough, but we've had a recent report than 175ms+ was required on their
# system.
aqt.mw.progress.timer(300 if is_lin else 10, after_delay, False, parent=self)
def contextMenuEvent(self, evt: QContextMenuEvent) -> None:
m = QMenu(self)

4
qt/aqt/stylesheets.py
View file

@ -401,9 +401,9 @@ QRadioButton {{
QCheckBox::indicator,
QRadioButton::indicator,
QMenu::indicator {{
border: 1px solid {tm.var(colors.BORDER_SUBTLE)};
border: 1px solid {tm.var(colors.BORDER)};
border-radius: {tm.var(props.BORDER_RADIUS)};
background: {tm.var(colors.CANVAS_INSET)};
background: {tm.var(colors.CANVAS_ELEVATED)};
width: 16px;
height: 16px;
}}