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

Bug 357362

Summary: Make default push button themeable
Product: [RT] RAP Reporter: RĂ¼diger Herrmann <ruediger.herrmann>
Component: RWTAssignee: Project Inbox <rap-inbox>
Status: RESOLVED FIXED QA Contact:
Severity: enhancement    
Priority: P3    
Version: unspecified   
Target Milestone: 1.5 M3   
Hardware: All   
OS: All   
Whiteboard:
Bug Depends on:    
Bug Blocks: 343279    

Description RĂ¼diger Herrmann CLA 2011-09-12 06:42:43 EDT
It would be useful to have a state to distinguish the default push button (set by Shell#setDefaultButton()) in the CSS theming.
Comment 1 Ivan Furnadjiev CLA 2011-10-03 03:32:26 EDT
Buttons now have a "default" state. To style the shell default button use:
Button[PUSH]:default {
 ...
}