× The internal search function is temporarily non-functional. The current search engine is no longer viable and we are researching alternatives.
As a stop gap measure, we are using Google's custom search engine service.
If you know of an easy to use, open source, search engine ... please contact support@midrange.com.



wdsci-l-bounces@xxxxxxxxxxxx wrote on 11/15/2005 09:47:13 AM:

> I just installed V6.0.0 of WDSCi - it took most of the day on my lowly 
> pc...
> 
> When looking at the preferences, I noticed a selection box 'Current 
theme' 
> under the Workbench / Appearance preference page.
> 
> As I'm quite fond of skinned applications, I wondered whether anybody 
can 
> tell me where you can download additional themes for WDSCi or Eclipse.
> 
> The built-in help is not very informative on this subject...

Eclipse does support any skins as it uses the native window decorations 
for your OS.  The good news is that if you have installed software that 
skins your OS, then Eclipse will also use the same skin (unlike a Swing 
application).

The purpose of the "Themes" in the preferences was primarily to allow 
users to have the old Eclipse 2.x look and feel if they desired it.  It 
doesn't really go beyond that.

Mark



_____________________________________________________________________________
Scanned for SoftLanding Systems, Inc. and SoftLanding Europe Plc by IBM Email 
Security Management Services powered by MessageLabs. 
_____________________________________________________________________________

As an Amazon Associate we earn from qualifying purchases.

This thread ...

Replies:

Follow On AppleNews
Return to Archive home page | Return to MIDRANGE.COM home page

This mailing list archive is Copyright 1997-2024 by midrange.com and David Gibbs as a compilation work. Use of the archive is restricted to research of a business or technical nature. Any other uses are prohibited. Full details are available on our policy page. If you have questions about this, please contact [javascript protected email address].

Operating expenses for this site are earned using the Amazon Associate program and Google Adsense.