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

Bug 387154

Summary: Plugin setting changes not persisted
Product: [ECD] Orion Reporter: John Arthorne <john.arthorne>
Component: ClientAssignee: Mark Macdonald <mamacdon>
Status: RESOLVED FIXED QA Contact:
Severity: normal    
Priority: P3 CC: mamacdon
Version: unspecified   
Target Milestone: 1.0 M2   
Hardware: PC   
OS: Windows 7   
Whiteboard:

Description John Arthorne CLA 2012-08-13 17:22:26 EDT 
1.0 M1

I tried changing the jslint plugin options from the new Plugin Settings tab, but the change doesn't seem to get saved. If the save occurs in the background there should be notification somewhere that the changes have been saved.
Comment 1 Mark Macdonald CLA 2012-08-13 18:42:16 EDT 
The save is working OK, but the text field widget didn't refresh itself correctly, so it looked like your changes hadn't taken effect. On top of that, the jslint plugin was not correctly parsing user-supplied options.

http://git.eclipse.org/c/orion/org.eclipse.orion.client.git/commit/?id=53b6e45aaed1709b68bdb37797cbd103645b12af