Fix import file chooser filter to accept upper case extensions (#962)
* Fix import file chooser filter to accept upper case extensions Fixes #11463 * Allow import file filter to accept case insensitive extensions Co-authored-by: Nick Hall <nick-h@gramps-project.org>
This commit is contained in:
parent
c30dfc6343
commit
672603c8ae
@ -317,6 +317,13 @@ def add_all_files_filter(chooser):
|
|||||||
mime_filter.add_pattern('*')
|
mime_filter.add_pattern('*')
|
||||||
chooser.add_filter(mime_filter)
|
chooser.add_filter(mime_filter)
|
||||||
|
|
||||||
|
|
||||||
|
def icase(ext):
|
||||||
|
"""
|
||||||
|
Return a glob reresenting a case insensitive file extension.
|
||||||
|
"""
|
||||||
|
return ''.join(['[{}{}]'.format(s.lower(), s.upper()) for s in ext])
|
||||||
|
|
||||||
#-------------------------------------------------------------------------
|
#-------------------------------------------------------------------------
|
||||||
#
|
#
|
||||||
# Format selectors: explictly set the format of the file
|
# Format selectors: explictly set the format of the file
|
||||||
@ -446,8 +453,7 @@ class GrampsImportFileDialog(ManagedWindow):
|
|||||||
file_filter = Gtk.FileFilter()
|
file_filter = Gtk.FileFilter()
|
||||||
name = "%s (.%s)" % (plugin.get_name(), plugin.get_extension())
|
name = "%s (.%s)" % (plugin.get_name(), plugin.get_extension())
|
||||||
file_filter.set_name(name)
|
file_filter.set_name(name)
|
||||||
file_filter.add_pattern("*.%s" % plugin.get_extension())
|
file_filter.add_pattern("*.%s" % icase(plugin.get_extension()))
|
||||||
file_filter.add_pattern(plugin.get_extension().capitalize())
|
|
||||||
import_dialog.add_filter(file_filter)
|
import_dialog.add_filter(file_filter)
|
||||||
|
|
||||||
(box, type_selector) = format_maker()
|
(box, type_selector) = format_maker()
|
||||||
|
Loading…
x
Reference in New Issue
Block a user