我的代码是这样的:
mediaPlayer.start();
//如果播放器还在播放,则显示歌词
while(mediaPlayer.isPlaying()){
    //得到当前播放的进度
    int now=mediaPlayer.getCurrentPosition();
    //如果当前播放进度数正好在map中,则发送消息更新歌词
    if(map.containsKey(now)){
handler.obtainMessage(MSG_REFRESH, map.get(now)).sendToTarget();
    }
}
map是TreeMap<Integer, String>,key是时间(毫秒),value是那一时刻的歌词,我判断是否该显示歌词的条件是,如果当前的播放进度恰好在map的key中,则取出那时刻的歌词map.get(now),但运行结果是歌词没有变化,貌似我这样判断显示歌词的条件不对,请问该在什么条件下显示歌词?