void use_buffer(Buffer *buf, Bufferable *prev = 0);
/** Uploads new data into the buffer if necessary. */
- void refresh() const { if(dirty) update_buffer(); }
+ void refresh() const { if(buffer && dirty) update_buffer(); }
AsyncUpdater *refresh_async() const;