A more generic text filter than Android's DDMS.