internal override void AddChildWindow(Gtk.Window parent, Gtk.Window child)
{
NSWindow w = GtkQuartz.GetWindow(parent);
child.Realize();
NSWindow overlay = GtkQuartz.GetWindow(child);
overlay.SetExcludedFromWindowsMenu(true);
w.AddChildWindow(overlay, NSWindowOrderingMode.Above);
}
public CairoPositionSnapshot(ArrayList pos,
int width, int height)
{
fm = new FigureManager ();
Gtk.Window win =
new Gtk.Window (Gtk.WindowType.
Toplevel);
win.Realize ();
map = new Gdk.Pixmap (win.GdkWindow, width,
height);
cairo = Gdk.CairoHelper.Create (map);
FontDescription fontdesc =
GetFontDesc (width, height);
GetCoordLayoutDetails (win.PangoContext,
fontdesc);
border_color = new Cairo.Color (0, 0, 0);
// blacksq_color = new Gdk.Color (200, 200, 200);
// whitesq_color = new Gdk.Color (240, 240, 240);
blacksq_color =
new Cairo.Color (250 / 256.0,
120 / 256.0,
32 / 256.0);
whitesq_color =
new Cairo.Color (255 / 256.0,
250 / 256.0,
170 / 256.0);
background_color =
new Cairo.Color (1, 1, 1);
foreground_color =
new Cairo.Color (0, 0, 0);
// arrow_color = new Gdk.Color (159, 148, 249);
arrow_color =
new Cairo.Color (117 / 256.0,
6 / 256.0,
6 / 256.0);
// blacksq_color = new Gdk.Color(210, 60, 0);
// whitesq_color = new Gdk.Color(236, 193, 130);
// outer box, coord, inner box
ComputeSizes (width, height);
position = new Position (pos);
fm.SetSize (size);
DrawBackground ();
DrawPosition ();
}
public PositionSnapshot(ArrayList pos, int width,
int height)
{
Gtk.Window win =
new Gtk.Window (Gtk.WindowType.
Toplevel);
win.Realize ();
map = new Gdk.Pixmap (win.GdkWindow, width,
height);
gc = new Gdk.GC (map);
FontDescription fontdesc =
GetFontDesc (width, height);
GetCoordLayoutDetails (win.PangoContext,
fontdesc);
border_color = new Gdk.Color (0, 0, 0);
// blacksq_color = new Gdk.Color (200, 200, 200);
// whitesq_color = new Gdk.Color (240, 240, 240);
blacksq_color =
new Gdk.Color (250, 120, 32);
whitesq_color =
new Gdk.Color (255, 250, 170);
background_color =
new Gdk.Color (255, 255, 255);
foreground_color = new Gdk.Color (0, 0, 0);
// arrow_color = new Gdk.Color (159, 148, 249);
arrow_color = new Gdk.Color (117, 6, 6);
// blacksq_color = new Gdk.Color(210, 60, 0);
// whitesq_color = new Gdk.Color(236, 193, 130);
// outer box, coord, inner box
ComputeSizes (width, height);
if (figure == null)
figure = new Figure ();
position = new Position (pos);
figure.SetSize (size);
DrawBackground ();
DrawPosition ();
}
