Index: xword/XWord/AddinActions.cs
===================================================================
--- xword/XWord/AddinActions.cs (revision 18625)
+++ xword/XWord/AddinActions.cs (working copy)
@@ -364,6 +364,15 @@
ThreadPool.QueueUserWorkItem(new WaitCallback(loadingDialog.ShowSyncDialog));
SaveToXwiki();
loadingDialog.CloseSyncDialog();
+
+ //After a new page has been published to XWiki, refresh the tree view
+ //so the user can see his/her page plus other pages that might have been
+ //created while the user was working on the current one.
+ if (!addin.currentPagePublished)
+ {
+ Globals.XWikiAddIn.XWikiTaskPane.RefreshWikiExplorer();
+ addin.currentPagePublished = true;
+ }
}
///
Index: xword/XWord/XWikiAddIn.cs
===================================================================
--- xword/XWord/XWikiAddIn.cs (revision 18625)
+++ xword/XWord/XWikiAddIn.cs (working copy)
@@ -53,7 +53,15 @@
/// Specifies the full name of the currently edited page(if any).
///
public string currentPageFullName = "";
+
///
+ /// Specifies if the current page was published on the server.
+ /// It does not specify if the last modifications were saved, but
+ /// if the local document has a coresponding wiki page. It's FALSE
+ /// until first saving to wiki.
+ ///
+ public bool currentPagePublished = false;
+ ///
/// A list of the web client's cookies.
///
public static List cookies = new List();