Bug 324882

Summary: [Themes] org.eclipse.ui.themes contribution per OS name
Product: [Eclipse Project] Platform Reporter: Markus Keller <markus.kell.r>
Component: UIAssignee: Platform UI Triaged <platform-ui-triaged>
Status: NEW --- QA Contact:
Severity: enhancement    
Priority: P3 CC: dh_tue, nikolaymetchev, remy.suen
Version: 3.7Keywords: helpwanted
Target Milestone: ---   
Hardware: PC   
OS: Windows 7   
Whiteboard:
Bug Depends on:    
Bug Blocks: 324810    

Description Markus Keller CLA 2010-09-09 13:56:59 EDT 
HEAD

For bug 324810, we need to specify a <fontDefinition><fontValue> for Windows 7 only. Could you add an attribute 'osName' that reads System.getProperty("os.name")?

The extension point reader should prefer fontValues that match more of the 3 filters (with ties resolved by 'os', 'osName', 'ws', in that order).

Example:
         <fontValue
               os="win32"
               osName="Windows 7"
               value="Consolas-regular-10">
         </fontValue>
Comment 1 Dennis Hendriks CLA 2013-12-24 10:08:02 EST 
Is there any progress on this? It is still holding up bug 324810 and the very similar bug 346374.
Comment 2 Paul Webster CLA 2013-12-24 10:31:54 EST 
No one is looking at this at the moment, but we can accept contributions: http://wiki.eclipse.org/Platform_UI/How_to_Contribute

PW