wbsoft/frescobaldi — pull request #254 by uliska (2013-10-26 07:50:19+00:00)
Title: highlight-timing: Restore one-second default

I think this update should be enough to restore the default
behaviour from existing Frescobaldi.

IISC AbstractMatcher is only used in this context, so I can simply
hard-code 1 second here.