Summary: | "Use round tabs" should not be displayed if theming is turned off | ||||||
---|---|---|---|---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | Ingo Mohr <tellastory73> | ||||
Component: | UI | Assignee: | Platform-UI-Inbox <Platform-UI-Inbox> | ||||
Status: | NEW --- | QA Contact: | |||||
Severity: | normal | ||||||
Priority: | P3 | CC: | thatnitind | ||||
Version: | 4.19 | ||||||
Target Milestone: | --- | ||||||
Hardware: | PC | ||||||
OS: | Windows 10 | ||||||
Whiteboard: | |||||||
Attachments: |
|
Created attachment 285372 [details] use round tabs is displayed even though theming is off "Use round tabs" has no effect when theming is off. So, the option shouldn't be displayed unless theming is turned on.