From 4f63e5eaf5cb981532b7252ef284438addf73a06 Mon Sep 17 00:00:00 2001 From: Remco Burema Date: Tue, 29 Jun 2021 11:40:20 +0200 Subject: Fix capitalization for extensions in whats-new. --- cura/UI/WhatsNewPagesModel.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cura/UI') diff --git a/cura/UI/WhatsNewPagesModel.py b/cura/UI/WhatsNewPagesModel.py index db0f4b3a74..11320a0ebb 100644 --- a/cura/UI/WhatsNewPagesModel.py +++ b/cura/UI/WhatsNewPagesModel.py @@ -29,7 +29,7 @@ class WhatsNewPagesModel(WelcomePagesModel): for filename in files: basename = os.path.basename(filename) base, ext = os.path.splitext(basename) - if ext not in include or not base.isdigit(): + if ext.lower() not in include or not base.isdigit(): continue page_no = int(base) highest = max(highest, page_no) -- cgit v1.2.3