sync_pending


Description:

public void sync_pending (ArrayList<FileWithHistory> pending, File? current_file)

Replace the footer file list from the live pending queue.

Basename order, then full path. The queue stores the FileWithHistory rows passed in. current_file is the open editor file, or null when none is open. The open row gets a select icon when it is in that list. No pending / partial / decided glyphs.

Parameters:

pending

pending rows (copied, then sorted)

current_file

open editor file, or null