It seems you're referring to — likely an older version (1.20) of KaraFun’s professional karaoke editor/player.