flok99/CoffeeSaint — pull request #1 by smay4finger (2014-05-22 11:15:30+00:00)
Title: get double buffering up and runnning

This patch enables double buffering with the option "double-buffer". There are
some inconsistencies while drawing things, but generally double buffering works
as expected.