[Main]
Name=GRAYDBUFFER_SIZE
Type=Constant
Header Files=gray.h
Definition=#define GRAYDBUFFER_SIZE 7688

[Description]
Specifies the necessary size of a user-allocated double-buffer.

[Explanation]
As <A HREF="$$LINK(GrayDBufInit)">GrayDBufInit</A> requires the user to pass
a user-allocated buffer as a parameter, this constant has been introduced to
specify the size of this buffer. Note that it is <I>not</I> exactly
<CODE>2*<A HREF="$$LINK(graph.h/LCD_SIZE)">LCD_SIZE</A></CODE>.
