Diffusion Kate 1e9aebf9544c

Build plugin: Do not open files that do not exist.

Authored by sars on May 7 2020, 5:31 AM.

Description

Build plugin: Do not open files that do not exist.

If the file name is not parsed correctly don't try to open the broken
file-location. Display the parsed file so that the user might get a
hint of why the parsing failed.

Details

Committed
sarsMay 7 2020, 5:31 AM
Parents
R40:041e8c89e3aa: BP: Add caseFixed() function to fix path casing on Windows
Branches
Unknown
Tags
Unknown