Thanks everyone. So we agree on "Code Mining".

On Thu, May 24, 2018 at 11:01 AM, Daniel Megert
<[email protected]> wrote:
> I suggest "Code Mining". This aligns with other names we use, like Content
> Assist or Quick Assist.
>
> Dani
>
>
>
> From:        Lars Vogel <[email protected]>
> To:        "Eclipse platform general developers list."
> <[email protected]>
> Date:        24.05.2018 09:52
> Subject:        [platform-dev] CodeMining or Code Mining
> Sent by:        [email protected]
> ________________________________
>
>
>
> 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: [email protected], Web:
> http://www.vogella.com
>
> _______________________________________________
> platform-dev mailing list
> [email protected]
> To change your delivery options, retrieve your password, or unsubscribe from
> this list, visit
> https://dev.eclipse.org/mailman/listinfo/platform-dev
>
>
>
>
> _______________________________________________
> platform-dev mailing list
> [email protected]
> To change your delivery options, retrieve your password, or unsubscribe from
> this list, visit
> https://dev.eclipse.org/mailman/listinfo/platform-dev



-- 
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: [email protected], Web: http://www.vogella.com
_______________________________________________
platform-dev mailing list
[email protected]
To change your delivery options, retrieve your password, or unsubscribe from 
this list, visit
https://dev.eclipse.org/mailman/listinfo/platform-dev

Reply via email to