//throws gnu.x11.extension.NotFoundException {
public DBE(String [] args)
: base(args, 256, 256)
{
about ("0.1", "test double buffer extension",
"Stephen Tse <*****@*****.**>",
"http://escher.sourceforge.net/");
if (help_option) return;
dbe = new gnu.x11.extension.DBE (display);
// server bug
//Console.WriteLine (dbe.visual_info (gnu.x11.extension.DBE.EMPTY)
// .ToString (Enum.NEXT, "\n"));
// test allocation and deallocation
back_buffer = dbe.allocate (window, gnu.x11.extension.DBE.UNDEFINED);
back_buffer.deallocate ();
// test extension error
try {
back_buffer = dbe.allocate (window, gnu.x11.extension.DBE.UNDEFINED);
back_buffer.id = 666;
back_buffer.deallocate ();
display.check_error ();
} catch (Error e) {
Console.WriteLine ("Forced error for testing: " + e);
}
// test get back buffer attributes
back_buffer = dbe.allocate (window, gnu.x11.extension.DBE.UNDEFINED);
Console.WriteLine ("back buffer attributes: "
+ back_buffer.attributes ());
}
public DBE(String [] args) //throws gnu.x11.extension.NotFoundException {
: base(args, 256, 256)
{
about("0.1", "test double buffer extension",
"Stephen Tse <*****@*****.**>",
"http://escher.sourceforge.net/");
if (help_option)
{
return;
}
dbe = new gnu.x11.extension.DBE(display);
// server bug
//Console.WriteLine (dbe.visual_info (gnu.x11.extension.DBE.EMPTY)
// .ToString (Enum.NEXT, "\n"));
// test allocation and deallocation
back_buffer = dbe.allocate(window, gnu.x11.extension.DBE.UNDEFINED);
back_buffer.deallocate();
// test extension error
try {
back_buffer = dbe.allocate(window, gnu.x11.extension.DBE.UNDEFINED);
back_buffer.id = 666;
back_buffer.deallocate();
display.check_error();
} catch (Error e) {
Console.WriteLine("Forced error for testing: " + e);
}
// test get back buffer attributes
back_buffer = dbe.allocate(window, gnu.x11.extension.DBE.UNDEFINED);
Console.WriteLine("back buffer attributes: "
+ back_buffer.attributes());
}
