Я бы добавил здесь out-параметр, указывающий, какая именно часть листинга обновилась. А то вдруг иррелевантно текущей позиции, например.