Re: [platform-dev] CodeMining or Code Mining

["Daniel Megert" <daniel_megert@xxxxxxxxxx>]

I suggest "Code
Mining". This aligns with other names we use, like Content Assist
or Quick Assist.

Dani



From:
       Lars
Vogel <lars.vogel@xxxxxxxxxxx>
To:
       "Eclipse
platform general developers list." <platform-dev@xxxxxxxxxxx>
Date:
       24.05.2018
09:52
Subject:
       [platform-dev]
CodeMining or Code Mining
Sent
by:        platform-dev-bounces@xxxxxxxxxxx

---

Friends of annotated text editors,

what is the new official term for our "CodeLens" implementation?
Do we
call is CodeMining or "Code Mining"?

I privately checked with Angelo but he is also not sure. :-)

Dani / Mickael, opinions?

Best regards, Lars

-- 
Eclipse Platform project co-lead
CEO vogella GmbH

Haindaalwisch 17a, 22395 Hamburg
Amtsgericht Hamburg: HRB 127058
Geschäftsführer: Lars Vogel, Jennifer Nerlich de Vogel
USt-IdNr.: DE284122352
Fax (040) 5247 6322, Email: lars.vogel@xxxxxxxxxxx, Web: http://www.vogella.com
_______________________________________________
platform-dev mailing list
platform-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe
from this list, visit
https://dev.eclipse.org/mailman/listinfo/platform-dev