@Thomas, it's quite possible that there is more than one bug here. If I marked your bug as a duplicate in error, please unmark it and we will deal with it separately. If you haven't filed a bug at all yet, please file it separately.
@Thomas, it's quite possible that there is more than one bug here. If I marked your bug as a duplicate in error, please unmark it and we will deal with it separately. If you haven't filed a bug at all yet, please file it separately.