do you want to use double-buffer for non-internet files? I can not make the decision for you.
or you want to add bit field on your buffer mode setting for the double-buffer switch? (no double-buffer; double-buffer for internet/true internet/always)