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

Bug 313318

Summary: [design][fancy] change border style for the tree
Product: [RT] RAP Reporter: Holger Staudacher <holger.staudacher>
Component: WorkbenchAssignee: Project Inbox <rap-inbox>
Status: RESOLVED FIXED QA Contact:
Severity: normal    
Priority: P3    
Version: 1.3   
Target Milestone: 1.3 RC2   
Hardware: All   
OS: All   
Whiteboard:
Attachments:
Description Flags
Fix rsternberg: review+

Description Holger Staudacher CLA 2010-05-18 06:08:55 EDT 
If a tree has the border style it gets the theme from the default theme. So, the border style should be overridden by the fancy.css
Comment 1 Holger Staudacher CLA 2010-05-19 10:48:00 EDT 
Created attachment 169124 [details]
Fix

Patch adds a global border property to the fancy.css
Comment 2 Ralf Sternberg CLA 2010-05-21 04:02:59 EDT 
Comment on attachment 169124 [details]
Fix

Looks good and seems to be harmless to me. Hardly anyone will rely on a 3d border in the fancy theme.
Comment 3 Ralf Sternberg CLA 2010-05-21 04:05:01 EDT 
And we should not forget to add a theming test for it.
Comment 4 Holger Staudacher CLA 2010-05-21 04:19:20 EDT 
Changes are in CVS HEAD including a test for the tree.