//called every time a window is closed by any initiator
public void OnWndClosed(PortableWindow wnd)
{
var viewRec = _openedViewers.FirstOrDefault(vr => vr.wnd == wnd);
if (viewRec != null)
{
_openedViewers.Remove(viewRec);
if (CloseReq != null)
{
CloseReq(viewRec.attachId);
}
}
}
public EditorWndCtx(Canvas canv,
DistributedInkCanvas inkCanv,
Palette palette,
InkPalette inkPalette,
PortableWindow keyboardWnd,
int topicId,
int discussionId,
bool shapesVisibility)
{
_canv = canv;
_inkCanv = inkCanv;
_palette = palette;
_keyboardWnd = keyboardWnd;
_zoomManipProc = new ManipulationProcessor2D(Manipulations2D.All);
mgr = new SceneManager(canv, inkCanv, palette, inkPalette, topicId, discussionId, shapesVisibility);
SetListeners(true);
//poinManipDeferrer = new DispatcherTimer();
//poinManipDeferrer.Interval = TimeSpan.FromMilliseconds(260);
//poinManipDeferrer.Tick += manipDeferrerTick;
}
