2015-04-20 14:59 GMT+02:00 Richard Heck: > Yes, this sounds generally useful. > > My only thought would be: Wouldn't it be slightly easier to store the > pass_thru_chars as a vector rather than call getVectorFromString every time > we need it? >
I pondered about this as well. I just think we only need it in this one place most likely, and a string is easier to handle. Jürgen > > Richard > >
