Thanks for the input.

Regular users should not care about "toggle nature", it is only meaningful if an Eclipse project contains multiple languages.

@font-face { font-family: Times New Roman;}@page Section1 {size: 595.3pt 841.9pt; margin: 72.0pt 90.0pt 72.0pt 90.0pt; layout-grid: 15.6pt; }P.MsoNormal { TEXT-JUSTIFY: inter-ideograph; FONT-SIZE: 10.5pt; MARGIN: 0cm 0cm 0pt; FONT-FAMILY: "Times New Roman"; TEXT-ALIGN: justify}LI.MsoNormal { TEXT-JUSTIFY: inter-ideograph; FONT-SIZE: 10.5pt; MARGIN: 0cm 0cm 0pt; FONT-FAMILY: "Times New Roman"; TEXT-ALIGN: justify}DIV.MsoNormal { TEXT-JUSTIFY: inter-ideograph; FONT-SIZE: 10.5pt; MARGIN: 0cm 0cm 0pt; FONT-FAMILY: "Times New Roman"; TEXT-ALIGN: justify}A:link { COLOR: blue; TEXT-DECORATION: underline}SPAN.MsoHyperlink { COLOR: blue; TEXT-DECORATION: underline}A:visited { COLOR: purple; TEXT-DECORATION: underline}SPAN.MsoHyperlinkFollowed { COLOR: purple; TEXT-DECORATION: underline}SPAN.EmailStyle17 { FONT-WEIGHT: normal; COLOR: windowtext; FONT-STYLE: normal; FONT-FAMILY: Times New Roman; TEXT-DECORATION: none; mso-style-type: personal-compose}DIV.Section1 { page: Section1}UNKNOWN { FONT-SIZE: 10pt}BLOCKQUOTE { MARGIN-TOP: 0px; MARGIN-BOTTOM: 0px; MARGIN-LEFT: 2em}OL { MARGIN-TOP: 0px; MARGIN-BOTTOM: 0px}UL { MARGIN-TOP: 0px; MARGIN-BOTTOM: 0px}No. I use only erlang and you ask me sometimes to execute this command !
A no documented command can cause trouble for users.
I would like to be regular ;-)


19-01-2011
Gamoto
De : Vlad Dumitrescu
Date/heure : 19-01-2011 12:37:28
A : gamoto
Cc:
Sujet : [Erlide] Re: #707: documentation of the "toggle erlang nature" command

Updating tickets (#737, #242, #364, #373, #411, #473, #561, #218, #339, #358, #422, #423, #424, #425, #428, #432, #535, #543, #599, #636, #671, #684, #693, #694, #699, #41, #52, #64, #83, #93, #120, #149, #157, #163, #177, #179, #194, #195, #219, #222, #228, #261, #274, #281, #283, #285, #298, #318, #335, #349, #351, #375, #379, #383, #401, #405, #409, #412, #413, #434, #442, #449, #450, #451, #454, #460, #471, #492, #523, #537, #555, #559, #574, #577, #581, #598, #603, #615, #619, #632, #634, #639, #640, #641, #642, #643, #645, #658, #660, #662, #664, #665, #667, #673, #674, #679, #685, #695, #696, #700, #705, #707, #709, #716, #719, #720, #722, #728, #736, #738, #741, #743, #744, #746, #759, #760, #761, #762, #766, #767, #768, #769, #770, #771, #772, #773, #774, #775, #776, #779, #780, #786, #788, #789, #790, #791, #159, #372, #443, #479, #564, #601, #610, #622, #677, #429, #489)

Updating tickets (#560, #613, #737, #41, #52, #64, #83, #93, #120, #149, #157, #159, #163, #177, #179, #194, #195, #218, #219, #222, #228, #242, #261, #274, #281, #283, #285, #298, #318, #335, #339, #349, #351, #358, #364, #372, #373, #375, #379, #383, #401, #405, #409, #411, #412, #413, #422, #423, #424, #425, #428, #429, #432, #434, #442, #443, #449, #450, #451, #454, #460, #471, #473, #479, #489, #492, #523, #535, #537, #543, #555, #559, #561, #564, #574, #577, #581, #598, #599, #601, #603, #610, #615, #619, #622, #632, #634, #636, #639, #640, #641, #642, #643, #645, #658, #660, #662, #664, #665, #667, #671, #673, #674, #677, #679, #684, #685, #693, #694, #695, #696, #699, #700, #705, #707, #709, #716, #719, #720, #722, #728, #736, #738, #741, #743, #744, #746, #759, #760, #761, #762, #766, #767, #768, #769, #770, #771, #772, #773, #774, #775, #776, #779, #780, #786, #788, #789, #790, #791)

Updating tickets (#802, #52, #64, #460, #720, #749, #769, #775, #776, #786, #851, #83, #93, #149, #157, #163, #179, #194, #195, #222, #228, #274, #281, #283, #285, #335, #339, #349, #351, #358, #364, #373, #375, #379, #383, #401, #405, #409, #411, #413, #422, #424, #425, #428, #434, #442, #443, #449, #450, #454, #471, #479, #492, #523, #535, #537, #543, #561, #564, #574, #590, #598, #599, #603, #610, #615, #619, #632, #634, #636, #639, #640, #641, #642, #643, #645, #658, #660, #662, #664, #665, #674, #677, #684, #685, #688, #689, #693, #694, #695, #696, #699, #700, #707, #709, #719, #736, #743, #744, #746, #748, #759, #760, #761, #762, #774, #778, #780, #788, #789, #796, #798, #799, #800, #803, #809, #812, #813, #816, #820, #822, #829, #836, #837, #840, #841, #842, #848, #849, #850, #853, #854, #855, #856, #857, #860, #867, #868, #871, #872, #873, #875, #41, #159, #372, #429, #489, #577, #601, #622, #667, #679, #767, #768, #772, #785, #771)

I think the new menus are explicit enough

Updating tickets (#613, #707, #879, #913)