Hi David, > >I added OceanTheme support to the JScrollBar. AFAICS this is the last big > >missing thing in the OceanTheme that was missing. There are still some > >smaller glitches but all in all it already looks quite consistent. What > >do you think about making the OceanTheme the default now? > > > > > > > I couldn't try it (easily) because our Free Swing Demo seems broken at > present - see the exception at the end of this mail (I think something > was already posted about it).
Huh? I think I could start the demo. But maybe I have a somewhat old (some days?) copy of classpath here. Anyway, you can still try the ScrollBarDemo standalone. > But in any case I would say go ahead and switch to Ocean as the default > - if it causes any trouble we can either fix it or switch back before > the next release. Ok I'll do so (tomorrow or next week). This will expose the OceanTheme to a more wider testing which hopefully will in turn result in the last bugs beeing resolved until 0.91. /Roman
