From 9ed9ec79cc13107fdf83639f800601b51b67c570 Mon Sep 17 00:00:00 2001 From: Damien Elmes Date: Mon, 13 Dec 2010 06:56:04 +0900 Subject: [PATCH] make them case-insensitive too --- anki/media.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/anki/media.py b/anki/media.py index 1e5f7d5df..a96d6d1d1 100644 --- a/anki/media.py +++ b/anki/media.py @@ -13,8 +13,8 @@ from anki.db import * from anki.utils import checksum, genID from anki.lang import _ -regexps = ("(\[sound:([^]]+)\])", - "(]+src=[\"']?([^\"'>]+)[\"']?[^>]?)") +regexps = ("(?i)(\[sound:([^]]+)\])", + "(?i)(]+src=[\"']?([^\"'>]+)[\"']?[^>]?)") # Tables ##########################################################################