On 05/19/2014 10:19 AM, Michael Schnell wrote: > > > I obviously would like to use an improved version of EpricTimer there ... Obviously I can't _use_ EpricTimer there, as it uses (IMHO inappropriately) (graphics-) stuff that is not implemented in a non-GUI project. So I will need to extract some of the source code. -Michael