Style workspace selection dialog with default theme setting#3855
Style workspace selection dialog with default theme setting#3855vogella wants to merge 1 commit intoeclipse-platform:masterfrom
Conversation
ff02108 to
2e637fb
Compare
| Job.getJobManager().suspend(); | ||
|
|
||
| Display display = createDisplay(); | ||
|
|
There was a problem hiding this comment.
Please once done, extract into a protected method, so whoever extends this (non API, I know) application can overwrite the code if needed.
2e637fb to
61773fa
Compare
|
Fixed a crash introduced in the previous version of this commit. The original code called The fix uses Also fixed: OSGi service reference now released via |
61773fa to
aa8df91
Compare
|
Updated approach: dropped the CSS theme engine for the workspace dialog entirely. The dark theme CSS uses symbolic color variables ( New approach: if the configured theme ID contains "dark", directly set SWT colors on the dialog's widget tree using the literal RGB values from the dark theme CSS ( |
aa8df91 to
175f350
Compare
175f350 to
ae04fe3
Compare
Test Results0 tests 0 ✅ 0s ⏱️ Results for commit 9df0418. ♻️ This comment has been updated with latest results. |
ae04fe3 to
9388e35
Compare
9388e35 to
f8d5fb0
Compare
bb26735 to
4dd9659
Compare
4dd9659 to
9df0418
Compare


This PR implements the option to style the workspace selection dialog using the default theme setting.
It includes: