Easy edition of gap between subtitle

[jmbtempo-ux]

Hello,

I am using SE version 4.0.15.

When editing subtitles, I have real time indications when some limits are exceeded : length, characters per sec, overlap ... They are highlighted in orange color.

But exceeding the minimum gap limit is not shown, eventhough the setting relating to coloring too short minimum gaps (in french : Colorer les écarts trop courts) is activated. I have to run a specific tool to highlight those locations where the gap between subtitles is lower than the limit set in the general settings. And this tool does not permit to edit the subtitle, I have to close the tool, edit the subtitle, and then run the tool again to make sure that what I did was correct, and if yes go to next occurence.

Is there a way to ease this process ? I would have expected that the "overlap" warning would account for the minimum gap defined in the general settings, but it is not the case.