I have an audio editor in my app, and one of the ways I want the user to be able to set the current playback time is by typing it in directly. So I have a Label that looks something like 00:00:00.00 (hours:minutes:seconds.hundredths), and I want the user to be able to click to edit that. But, I don’t want to have to parse the String manually. Is there an easy way to deal with this in JUCE? I just want to be able to get all the relevant integer values from the String (hours, minutes, etc.) without too much fuss.