4 ms·“Double trigger” seems to be the common term per a quick online searchby derwiki 5y ago“Double trigger” seems to be the common term per a quick online search