>>>>> "Tom" == Tom Tromey <tromey@adacore.com> writes: Andrew> Just thought it might be nice to try and remove more of the escape Andrew> sequences. Tom> Another idea is to just make it non-greedy with Tom> set sofile [style ".*?" file] I'm checking this in with this change. Tom