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

Bug 446696

Summary: Unable to change editor font size
Product: [ECD] Orion Reporter: Ken Walker <ken_walker>
Component: ClientAssignee: Grant Gayed <grant_gayed>
Status: RESOLVED FIXED QA Contact:
Severity: normal    
Priority: P3 CC: Silenio_Quarti
Version: 7.0   
Target Milestone: 7.0   
Hardware: All   
OS: All   
See Also: https://git.eclipse.org/r/43936
https://git.eclipse.org/c/orion/org.eclipse.orion.client.git/commit/?id=2fc4b42c2468951f6b7e83a82073d405cbe39b15
Whiteboard:

Description Ken Walker CLA 2014-10-10 14:01:17 EDT 
Either on orion.eclipse.org or orionhub.org, I'm unable to change the font size
Comment 1 Grant Gayed CLA 2014-10-10 14:51:12 EDT 
The double items are actually fine, half are pt values and the others are px values.

Fixed, commit: http://git.eclipse.org/c/orion/org.eclipse.orion.client.git/commit/?id=77a28461f01dd6f9c220e12768415a1306b4be7e .  Also fixed a problem with the font size combo often being seeded with the wrong initial value.

(Most of the changes in the commit are actually just whitespace changes made by Orion's "Trim trailing whitespace on save" editor option.)