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
