create_buffer

Create a buffer for the file.

Creates a DummyFileBuffer instance and stores it in file.buffer. If file.buffer already exists and is a DummyFileBuffer, returns early.

Buffer Cleanup

Before creating new buffer, performs cleanup of old buffers. Keeps buffers for:

• Open files (is_open == true)
• Top 10 most recently used files (by last_viewed)

Sets file.buffer = null for all other files to free memory.

Buffer Lifecycle

Buffers are created lazily when first accessed. The buffer is stored in file.buffer property. Each File object has at most one buffer instance.

Usage:

file.manager.buffer_provider.create_buffer(file);
var contents = yield file.buffer.read_async();

Parameters:

file	The file to create a buffer for