[pitivi] medialibrary: Handle special characters in the filtering search entry
- From: Jean-FranÃois Fortin Tam <jfft src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [pitivi] medialibrary: Handle special characters in the filtering search entry
- Date: Fri, 25 Jan 2013 20:38:04 +0000 (UTC)
commit f2949f800d0c8a3a956975effa2b9bbf90c51f09
Author: Jean-FranÃois Fortin Tam <nekohayo gmail com>
Date: Tue Jan 22 18:58:07 2013 -0500
medialibrary: Handle special characters in the filtering search entry
Fixes bug #692333
pitivi/medialibrary.py | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/pitivi/medialibrary.py b/pitivi/medialibrary.py
index b867aa4..803c621 100644
--- a/pitivi/medialibrary.py
+++ b/pitivi/medialibrary.py
@@ -381,6 +381,8 @@ class MediaLibraryWidget(Gtk.VBox, Loggable):
if text == "":
return True # Avoid silly warnings
else:
+ # We must convert to markup form to be able to search for &, ', etc.
+ text = GLib.markup_escape_text(text)
return text in model.get_value(iter, COL_INFOTEXT).lower()
def _getIcon(self, iconname, alternate=None):
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]