7 public static class Display
\r
9 public static void pix(int x, int y, Color col) { Main.canvas.pix(x, y, col); }
\r
10 public static void line(Line drawee) { Main.canvas.line(drawee); }
\r
11 public static void rect(Rectangle drawee) { Main.canvas.rect(drawee); }
\r
12 public static void ellipse(Ellipse drawee) { Main.canvas.ellipse(drawee); }
\r
13 public static void polygon(Polygon drawee) { Main.canvas.polygon(drawee); }
\r
14 public static void letters(Letters drawee) { Main.canvas.letters(drawee); }
\r
15 public static void image(Image drawee) { Main.canvas.image(drawee); }
\r
16 public static void group(Group drawee) { Main.canvas.group(drawee); }
\r
19 public static void msg(string str, double x, double y) { Main.canvas.msg(str, x, y, Color.white); }
\r
20 public static void msg(string dstr, double x, double y, Color col) { Main.canvas.msg(dstr, x, y, col); }
\r
21 public static void var<Type>(Type val, double x, double y) { Main.canvas.var(val, x, y, Color.white); }
\r
22 public static void var<Type>(Type val, double x, double y, Color col) { Main.canvas.var(val, x, y, col); }
\r
26 public static void clear(double lum) { Main.canvas.clear(lum); }
\r
27 public static void clear(Color col) { Main.canvas.clear(col); }
\r
28 public static void flip(int n = 1) { Main.canvas.flip(n); }
\r
30 public static double width { get { return Main.canvas.width; } }
\r
31 public static double height { get { return Main.canvas.height; } }
\r
32 public static Point center { get { return Main.canvas.center; } }
\r
33 public static double getWidth() { return width; }
\r
34 public static double getHeight() { return height; }
\r
35 public static Point getCenter() { return center; }
\r
36 public static double getHCenter() { return Main.canvas.getHCenter(); }
\r
37 public static double getVCenter() { return Main.canvas.getVCenter(); }
\r
38 public static double getRefreshRate() { return Main.canvas.getRefreshRate(); }
\r