* updated editor document provider to use text buffers