Attachment 255721 Details for Bug 471839 – fix for remaining problem

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] fix for remaining problem

context.patch (text/plain), 1.47 KB, created by Silenio Quarti

on 2015-08-07 18:02:27 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Silenio Quarti

Created: 2015-08-07 18:02:27 EDT

Size: 1.47 KB

patch

obsolete

>diff --git a/bundles/org.eclipse.orion.client.ui/web/orion/editorView.js b/bundles/org.eclipse.orion.client.ui/web/orion/editorView.js
>index aa9e1f3..d5f56f6 100644
>--- a/bundles/org.eclipse.orion.client.ui/web/orion/editorView.js
>+++ b/bundles/org.eclipse.orion.client.ui/web/orion/editorView.js
>@@ -462,7 +462,8 @@
> 				this.localSettings = EditorSettings ? new EditorSettings({local: true, editor: editor, themePreferences: this.themePreferences, preferences: this.editorPreferences}) : null;
> 			}
> 			var liveEditSession = new LiveEditSession(serviceRegistry, editor);
>-			var recordListener = function() {
>+			var recordListener = function(evt) {
>+				that.loadSession(evt);
> 				that.recordSession();
> 			};
> 			inputManager.addEventListener("InputChanging", recordListener); //$NON-NLS-0$
>diff --git a/bundles/org.eclipse.orion.client.ui/web/orion/inputManager.js b/bundles/org.eclipse.orion.client.ui/web/orion/inputManager.js
>index 7464f26..c64fff3 100644
>--- a/bundles/org.eclipse.orion.client.ui/web/orion/inputManager.js
>+++ b/bundles/org.eclipse.orion.client.ui/web/orion/inputManager.js
>@@ -487,7 +487,11 @@
> 						this.reportStatus("");
> 						this._setInputContents(input, fileURI, null, this._fileMetadata, this._isText(this._fileMetadata));
> 					} else {
>-						this.processParameters(input);
>+						if (!this.processParameters(input)) {
>+							if (evt.session) {
>+								evt.session.apply();
>+							}
>+						}
> 					}
> 				} else {
> 					this._input = fileURI;

Actions: View | Diff

Attachments on bug 471839: 255721