public static void Render(GraphicCommand c) { if (mWindow == null) { OpenWindow(); } mWindow.AddCmd(c); }
public void AddCmd(GraphicCommand c) { mMutex.WaitOne(); try { mCmds.Add(c); } finally { mMutex.ReleaseMutex(); } }
public static void Render(GraphicCommand c) { if (mWindow == null) OpenWindow(); mWindow.AddCmd(c); }
public static void Draw(GraphicCommand c) { PrivateDraw(c); }
private static void PrivateDraw(GraphicCommand c) { c.Invoke(null, typeof(WindowGDI)); }
public override void Eval(Executor exec) { string s = exec.TypedPop<string>(); CatList f = exec.TypedPop<CatList>(); Object[] args = f.ToArray(); GraphicCommand c = new GraphicCommand(s, args); WindowGDI.Render(c); }