| Widget's border theming [message #639639] |
Wed, 17 November 2010 05:17  |
Massimo Zugno Messages: 9 Registered: July 2009 |
Junior Member |
|
|
Hi, I'm trying to theme a widget's border applying different border widths for the same border. The theming reference state that this is not possible since border-width accept a <dimension> as value (and not a <box-dimension>). Is there a way to workaround this issue?
Thanks in advance, Massimo.
[Updated on: Wed, 17 November 2010 05:18] Report message to a moderator
|
|
|
| Re: Widget border theming [message #639687 is a reply to message #639639] |
Wed, 17 November 2010 08:32  |
Tim Buschtoens Messages: 246 Registered: July 2009 |
Senior Member |
|
|
Hi!
> Hi, I'm trying to theme a widget's border applying different border
> widths for the same border. The theming reference state that this is not
> possible since border-width accept a <dimension> as value (and not a
> <box-dimension>). Is there a way to workaround this issue?
There is a bug to enable this:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=283872 It has a patch
for a workaround attached, but its very limited. I don't see this beeing
fixed anytime soon, since it would require changes to many existing widgets.
Greetings,
Tim
|
|
|
Powered by
FUDForum. Page generated in 0.01408 seconds