#3823 introduced a new setting:
The word "dirty" should not be used here. It sounds negative. The editor is not dirty it has "unsaved changes".
The documentation e.g. says:
Tabs in the editor area indicate the names of resources that are currently open for editing. An asterisk (*) indicates that an editor has unsaved changes.
The documentation says:
"An asterisk indicates that an editor has unsaved changes."
On the other hand https://help.eclipse.org/latest/index.jsp?topic=%2Forg.eclipse.platform.doc.user%2Freference%2Fref-12.htm&resultof%3D%2522%2564%2569%2572%2574%2579%2522%2520%2522%2564%2569%2572%2574%2569%2522%2520
uses the term "dirty editor". I would propose to change this to "unsaved changes".
And also this:
and this:
should be changed.
@vogella and others: What do you think?
#3823 introduced a new setting:
The word "dirty" should not be used here. It sounds negative. The editor is not dirty it has "unsaved changes".
The documentation e.g. says:
Tabs in the editor area indicate the names of resources that are currently open for editing. An asterisk (*) indicates that an editor has unsaved changes.
The documentation says:
"An asterisk indicates that an editor has unsaved changes."
On the other hand https://help.eclipse.org/latest/index.jsp?topic=%2Forg.eclipse.platform.doc.user%2Freference%2Fref-12.htm&resultof%3D%2522%2564%2569%2572%2574%2579%2522%2520%2522%2564%2569%2572%2574%2569%2522%2520
uses the term "dirty editor". I would propose to change this to "unsaved changes".
And also this:
and this:
should be changed.
@vogella and others: What do you think?