Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [wtp-dev] What about dark theme for CSS, HTML, JS editors?

Hi everybody,

I have created a bug at You can see screenshots about my work an dproposition to improve dark theme.

If you like it I will create a gerrit patch. I'm waiting for your answer.

Regard's Angelo

2016-01-21 14:26 GMT+01:00 Mickael Istria <mistria@xxxxxxxxxx>:
On 01/21/2016 08:26 AM, Angelo zerr wrote:
...on a Bugzilla.

Yes sure, but can I create one gerrit path for JSDT Editor? My idea is to create a gerrit patch per editor (JS, HTML, CSS).
I believe 1 patch/review by Git repository is what's best.

Mickael Istria
Eclipse developer at JBoss, by Red Hat
My blog - My Tweets

wtp-dev mailing list
To change your delivery options, retrieve your password, or unsubscribe from this list, visit

Back to the top