Change current_buffer_name_widget to use cropping and have appropriate flex value