[ide-dev] Suggestion to main IDE theme

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[ide-dev] Suggestion to main IDE theme

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Tue, 22 Sep 2015 13:23:33 +0200
Delivered-to: ide-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/ide-dev>
List-help: <mailto:ide-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/ide-dev>, <mailto:ide-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/ide-dev>, <mailto:ide-dev-request@eclipse.org?subject=unsubscribe>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.1.0

Hi all,

I believe the default Eclipse IDE Theme deserves some enhancements, at least on GTK. I recently moved to a new workspace the the Jeeyul's Chrome Theme wasn't enabled and rediscovered the regular Eclipse Theme and found out a simple way to improvement: https://bugs.eclipse.org/bugs/show_bug.cgi?id=478050

Your opinion on that is welcome, as I know it will require support and almost unanimity before this can be changed into Platform ;)

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

Prev by Date: [ide-dev] API change in cloud
Next by Date: [ide-dev] FEEP Draft Discussion
Previous by thread: [ide-dev] API change in cloud
Next by thread: [ide-dev] FEEP Draft Discussion
Index(es):
- Date
- Thread

Breadcrumbs