public void setCurrentEditor(RmlEditorViewInfo editor)
{
if (currentEditor != null)
{
currentEditor.ViewResized -= ViewHost_ViewResized;
}
currentEditor = editor;
positionResizeWidget();
if (currentEditor != null)
{
currentEditor.ViewResized += ViewHost_ViewResized;
}
}
void slideEditorContext_RecordResizeUndo(RmlEditorViewInfo view, int oldSize, int newSize)
{
String panelName = view.View.Name;
Action <int> changeSize = (size) =>
{
slideEditorContext.resizePanel(panelName, size);
};
undoBuffer.pushAndSkip(new TwoWayDelegateCommand <int, int>(newSize, oldSize, new TwoWayDelegateCommand <int, int> .Funcs()
{
ExecuteFunc = changeSize,
UndoFunc = changeSize
}));
}
void panelResizeWidget_RecordResizeUndo(RmlEditorViewInfo view, int oldSize, int newSize)
{
updateThumbnail();
}
