[xwiki-notifications] r5625 - xwiki-extensions/xwiki-eclipse/trunk/plugins/org.xwiki.eclipse/src/main/java/org/xwiki/xeclipse/editors

[SVN]

Author: fmancinelli
Date: 2007-11-03 14:57:58 +0100 (Sat, 03 Nov 2007)
New Revision: 5625

Modified:
   
xwiki-extensions/xwiki-eclipse/trunk/plugins/org.xwiki.eclipse/src/main/java/org/xwiki/xeclipse/editors/XWikiPageDocumentProvider.java
   
xwiki-extensions/xwiki-eclipse/trunk/plugins/org.xwiki.eclipse/src/main/java/org/xwiki/xeclipse/editors/XWikiPageEditor.java
Log:
XECLIPSE-44

Solved the caret issue

Modified: 
xwiki-extensions/xwiki-eclipse/trunk/plugins/org.xwiki.eclipse/src/main/java/org/xwiki/xeclipse/editors/XWikiPageDocumentProvider.java
===================================================================
--- 
xwiki-extensions/xwiki-eclipse/trunk/plugins/org.xwiki.eclipse/src/main/java/org/xwiki/xeclipse/editors/XWikiPageDocumentProvider.java
      2007-11-03 13:32:17 UTC (rev 5624)
+++ 
xwiki-extensions/xwiki-eclipse/trunk/plugins/org.xwiki.eclipse/src/main/java/org/xwiki/xeclipse/editors/XWikiPageDocumentProvider.java
      2007-11-03 13:57:58 UTC (rev 5625)
@@ -61,9 +61,12 @@
         xwikiPage.setContent(document.get());
 
         try {            
-            xwikiPage.save();
-            document.set(input.getXWikiPage().getContent());
+            xwikiPage.save();            
+            
+            int caretOffset = xwikiPageEditor.getCaretOffset();            
+            document.set(input.getXWikiPage().getContent());                   
                 
             xwikiPageEditor.updateEditor(input.getXWikiPage());
+            xwikiPageEditor.setCaretOffset(caretOffset);
         } catch (XWikiConnectionException e) {
             throw new CoreException(new Status(IStatus.ERROR, 
XWikiEclipsePlugin.PLUGIN_ID, "Unable to save", e));            
         }

Modified: 
xwiki-extensions/xwiki-eclipse/trunk/plugins/org.xwiki.eclipse/src/main/java/org/xwiki/xeclipse/editors/XWikiPageEditor.java
===================================================================
--- 
xwiki-extensions/xwiki-eclipse/trunk/plugins/org.xwiki.eclipse/src/main/java/org/xwiki/xeclipse/editors/XWikiPageEditor.java
        2007-11-03 13:32:17 UTC (rev 5624)
+++ 
xwiki-extensions/xwiki-eclipse/trunk/plugins/org.xwiki.eclipse/src/main/java/org/xwiki/xeclipse/editors/XWikiPageEditor.java
        2007-11-03 13:57:58 UTC (rev 5625)
@@ -91,7 +91,7 @@
         String serverUrl = connection.getServerUrl();
         boolean connected = connection.isConnected();
         int version = page.getVersion();
-
+                                
         form.setText(String.format("%s version %d [%s]", id, version, 
connected ? "online"
             : "cached", id));
         form.setMessage(String.format("[EMAIL PROTECTED]", userName, 
serverUrl));
@@ -100,6 +100,13 @@
   
         XWikiEclipseNotificationCenter.getDefault().fireEvent(this,
             XWikiEclipseEvent.PAGE_UPDATED, page);
+    }   
+    
+    int getCaretOffset() {
+        return getSourceViewer().getTextWidget().getCaretOffset();
     }
-
+    
+    void setCaretOffset(int offset) {
+        getSourceViewer().getTextWidget().setCaretOffset(offset);
+    }
 }

_______________________________________________
notifications mailing list
notifications@xwiki.org
http://lists.xwiki.org/mailman/listinfo/notifications