reduced filename_list height so traffic-lights at bottom are flush with edge of main textarea