Re: Removal of org-jdesktop-layout

2018-07-20 Thread Emilian Bold
We could handle this stuff better. It shouldn't be a lot of work to detect this situation and offer the user the option to download the plugin providing jdesktop from the internet in order to continue having the same features. Sadly, no time, so people will just have to adjust... --emi ‐‐

RE: Customizing the tab showing a TopComponent in Editor mode

2018-07-20 Thread stephen cumminger
Good suggestions. Thanks. Turns out that after another Clean & Build, html color markups are working again in the default platform tabs. Regards, Stephen Cumminger From: Geertjan Wielenga Sent: Friday, July 20, 2018 9:47 AM To: users@netbeans.apache.org Subject: Re: Customizing the tab showi

Re: Customizing the tab showing a TopComponent in Editor mode

2018-07-20 Thread Geertjan Wielenga
I'd advise looking closely at the functionality provided out of the box by the APIs rather than rolling your own complex solutions, e.g., here's a few: http://bits.netbeans.org/dev/javadoc/org-openide-windows/org/openide/windows/TopComponent.html#setAttentionHighlight-boolean- http://bits.netbean

RE: Customizing the tab showing a TopComponent in Editor mode

2018-07-20 Thread stephen cumminger
I downloaded an older version of JGoodies PlasticTabbedPaneUI and about 20 related java files to support it. I had to make an adjustment to it to suppress its titling of the tabs, but other than that it fits in really well into the NetBeans platform; using Geertjan's Blog for guidance. Using To

Re: Customizing the tab showing a TopComponent in Editor mode

2018-07-20 Thread Neil C Smith
On Thu, 19 Jul 2018 at 14:16, stephen cumminger wrote: > String toreturn= ""+prefix+" COLOR=RED>"+super.getDisplayName()+""; Have you tried ? >From recollection it uses this - http://bits.netbeans.org/dev/javadoc/org-openide-awt/org/openide/awt/HtmlRenderer.html Best wishes, Neil -

Re: Customizing the tab showing a TopComponent in Editor mode

2018-07-20 Thread Geertjan Wielenga
This is an area of the NetBeans Platform that few people know anything about, hence no responses here. Before I try to track down those references (I’ll simply be googling, so anything I find you can find too), what’s the business case for this, i.e., what are you trying to achieve, why, and how im