void OnSidebarExtensionChanged (object s, ExtensionNodeEventArgs args) { // FIXME: No sidebar page removal yet! if (args.Change == ExtensionChange.Add) Sidebar.AppendPage ((args.ExtensionNode as SidebarPageNode).GetPage ()); }