luni
Well-known member
For 1.52, we're much too close to release to make this sort of build system change which could have unintended consequence.
Farther in the future, maybe.
First let's see what Arduino says on that issue. If (when) Arduino rejects it, that's not necessarily the end of story here. But it certainly is something to consider.
To follow this up: Since Arduino didn't answer for two weeks now, I think they won't.
Anyway, I meanwhile added a platform.local.txt to the TeensyTimerTool which fixes the issue for those who want to use project scope library settings with the Arduino IDE. (PlatformIO and VisualTeensy work out of the box). If anyone is interested, here the link to the instructions and the platform.local.txt: https://github.com/luni64/TeensyTimerTool/wiki/Configuration#project-scope-settings. (BTW: this would enable project scope settings for all libraries and/or the core via the _has_include feature of gcc).