From 2ae342592cfb863e6b1aad6a6233ea799d083042 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20Pokorn=C3=BD=20=28Rai=29?= Date: Sun, 22 Dec 2019 13:59:24 +0100 Subject: [PATCH] Deduplicate media extension filter with existing list of media extensions --- aqt/editor.py | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/aqt/editor.py b/aqt/editor.py index cf500c4c2..37c0253f9 100644 --- a/aqt/editor.py +++ b/aqt/editor.py @@ -3,6 +3,7 @@ # License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html import base64 import html +import itertools import json import mimetypes import re @@ -553,10 +554,10 @@ to a cloze type first, via Edit>Change Note Type.""")) ###################################################################### def onAddMedia(self): - key = (_("Media") + - " (*.jpg *.png *.gif *.tiff *.svg *.tif *.jpeg "+ - "*.mp3 *.ogg *.wav *.avi *.ogv *.mpg *.mpeg *.mov *.mp4 " + - "*.mkv *.ogx *.ogv *.oga *.flv *.swf *.flac *.webp *.m4a)") + extension_filter = ' '.join( + '*.' + extension + for extension in sorted(itertools.chain(pics, audio))) + key = (_("Media") + " (" + extension_filter + ")") def accept(file): self.addMedia(file, canDelete=True) file = getFile(self.widget, _("Add Media"), accept, key, key="media")