Bug 324882 - [Themes] org.eclipse.ui.themes contribution per OS name
Summary: [Themes] org.eclipse.ui.themes contribution per OS name
Status: NEW
Alias: None
Product: Platform
Classification: Eclipse Project
Component: UI (show other bugs)
Version: 3.7   Edit
Hardware: PC Windows 7
: P3 enhancement with 1 vote (vote)
Target Milestone: ---   Edit
Assignee: Platform UI Triaged CLA
QA Contact:
URL:
Whiteboard:
Keywords: helpwanted
Depends on:
Blocks: 324810
  Show dependency tree
 
Reported: 2010-09-09 13:56 EDT by Markus Keller CLA
Modified: 2015-12-10 10:37 EST (History)
3 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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